Project Home,
Documentation,
Source
$shell['h3'] = ob_get_contents();
ob_end_clean();
$shell['jquery'] = 'jquery-1.4.2.js';
//$shell['jquery'] = 'jquery-1.3.2.js';
$shell['shBrush'] = array( 'JScript' );
?>
Your generous donation allows me to continue developing and updating my code!
$shell['donate'] = ob_get_contents();
ob_end_clean();
function draw_shell() {
global $shell, $base;
?>
Ben Alman » = $shell['title1'] ?> if ( $shell['title2'] ) { print ' » ' . $shell['title2']; } ?> if ( $shell['title3'] ) { print ' » ' . $shell['title3']; } ?>
if ( $shell['jquery'] ) {
?>
}
?>
if ( $shell['shBrush'] ) {
foreach ( $shell['shBrush'] as $brush ) {
?>
}
}
?>
= $shell['html_head'] ?>
}
if ( count( get_included_files() ) == 2 ) {
$shell['link2'] = '';
$shell['h2'] = 'Select an example:';
$shell['h3'] = '';
$shell['html_body'] = '';
$files = scandir( '.' );
foreach ( $files as $file ) {
if ( $file != '.' && $file != '..' && file_exists( "$file/index.php" ) ) {
$file_contents = file_get_contents( "$file/index.php" );
$title = preg_replace( '/^.*\$shell\[\'title3\'\]\s*=\s*"(.*?)";.*$/s', '$1', $file_contents );
$title = $title == $file_contents ? $file : stripcslashes( $title );
$shell['html_body'] .= "$title
";
}
}
$base = '';
draw_shell();
}
?>
$shell['html_head'] = ob_get_contents();
ob_end_clean();
// ========================================================================== //
// HTML BODY
// ========================================================================== //
ob_start();
?>
Click this link to add text! Notice that the info box updates
slowly, because the resize event is *not* being triggered manually.
$shell['html_body'] = ob_get_contents();
ob_end_clean();
// ========================================================================== //
// DRAW SHELL
// ========================================================================== //
draw_shell();
?>