+// Looks if we want to show the source {{{
+if (@$_REQUEST['S']) {
+ if (@$_REQUEST['B']) {
+ // We want to see the BIFE file source.
+ echo '<PRE>';
+ echo htmlentities(join('', file($file)));
+ } else {
+ // We want to see the php file source.
+ highlight_file($_SERVER['SCRIPT_FILENAME']);
+ }
+ exit;
+}
+// }}}