14 <p>Your generous donation allows me to
continue developing and updating my code!</p>
15 <form action=
"https://www.paypal.com/cgi-bin/webscr" method=
"post">
16 <input type=
"hidden" name=
"cmd" value=
"_s-xclick">
17 <input type=
"hidden" name=
"hosted_button_id" value=
"5791421">
18 <input
class=
"submit" type=
"image" src=
"../donate.gif" name=
"submit" alt=
"PayPal - The safer, easier way to pay online!">
19 <img alt=
"" border=
"0" src=
"https://www.paypal.com/en_US/i/scr/pixel.gif" width=
"1" height=
"1">
21 <div
class=
"clear"></div>
24 $shell[
'donate'] = ob_get_contents();
33 <meta
http-equiv=
"content-type" content=
"text/html; charset=utf-8">
34 <title>Ben Alman » <?= $shell[
'title1'] ?><?
if ( $shell[
'title2'] ) { print
' » ' . $shell[
'title2']; } ?><?
if ( $shell[
'title3'] ) { print
' » ' . $shell[
'title3']; } ?></title>
35 <script type=
"text/javascript" src=
"<?= $base ?>../shared/ba-debug.js"></script>
37 if ( $shell[
'jquery'] ) {
38 ?><script type=
"text/javascript" src=
"<?= $base ?>../shared/<?= $shell['jquery'] ?>"></script><?
41 ?><script type=
"text/javascript" src=
"<?= $base ?>../shared/SyntaxHighlighter/scripts/shCore.js"></script><?
43 if ( $shell[
'shBrush'] ) {
44 foreach ( $shell[
'shBrush'] as $brush ) {
45 ?><script type=
"text/javascript" src=
"<?= $base ?>../shared/SyntaxHighlighter/scripts/shBrush<?= $brush ?>.js"></script><?
49 <link rel=
"stylesheet" type=
"text/css" href=
"<?= $base ?>../shared/SyntaxHighlighter/styles/shCore.css">
50 <link rel=
"stylesheet" type=
"text/css" href=
"<?= $base ?>../shared/SyntaxHighlighter/styles/shThemeDefault.css">
51 <link rel=
"stylesheet" type=
"text/css" href=
"<?= $base ?>index.css">
53 <?= $shell[
'html_head'] ?>
61 <a href=
"http://benalman.com/" class=
"title"><b>Ben</b> Alman</a>
64 while ( $shell[
"title$i"] ) {
66 if ( $shell[
"link$i"] ) {
67 print
'<a href="' . $shell[
"link$i"] .
'">' . $shell[
"title$i"] .
'</a>';
69 print $shell[
"title$i"];
77 while ( $shell[
"h$i"] ) {
78 print
"<h$i>" . $shell[
"h$i"] .
"</h$i>";
82 <?= $shell[
'html_header'] ?>
85 <?= $shell[
'html_body'] ?>
89 If console output is mentioned, but your browser
has no console,
this example is
using <a href=
"http://benalman.com/projects/javascript-debug-console-log/">JavaScript Debug</a>. Click
this bookmarklet: <a href=
"javascript:if(!window.firebug){window.firebug=document.createElement("script");firebug.setAttribute("src","http://getfirebug.com/releases/lite/1.2/firebug-lite-compressed.js");document.body.appendChild(firebug);(function(){if(window.firebug.version){firebug.init()}else{setTimeout(arguments.callee)}})();void (firebug);if(window.debug&&debug.setCallback){(function(){if(window.firebug&&window.firebug.version){debug.setCallback(function(b){var a=Array.prototype.slice.call(arguments,1);firebug.d.console.cmd[b].apply(window,a)},true)}else{setTimeout(arguments.callee,100)}})()}};">Debug + Firebug Lite</a> to
add the Firebug lite console to the current page. Syntax highlighting is handled by <a href=
"http://alexgorbatchev.com/">SyntaxHighlighter</a>.
92 All original code is Copyright © 2010
"Cowboy" Ben Alman and dual licensed under the MIT and GPL licenses. View the <a href=
"http://benalman.com/about/license/">license page</a>
for more details.
102 if ( count( get_included_files() ) == 2 ) {
105 $shell[
'h2'] =
'Select an example:';
110 $files = scandir(
'.' );
111 foreach ( $files as $file ) {
112 if ( $file !=
'.' && $file !=
'..' && file_exists(
"$file/index.php" ) ) {
113 $file_contents = file_get_contents(
"$file/index.php" );
114 $title = preg_replace(
'/^.*\$shell\[\'title3\'\]\s*=\s*"(.*?)";.*$/s',
'$1', $file_contents );
115 $title = $title == $file_contents ? $file : stripcslashes( $title );
116 $shell[
'html_body'] .=
"<a href=\"$file/\">$title</a><br>";
static http()
Fetches the global http state from ILIAS.