Source of:
1, "/include" => 1, "/stats" => 1 ); $dir = dirname($url); // The separate manual language dirs are legal dirs if (preg_match("!^/manual/(en|pt_BR|cs|nl|fr|de|hu|it|ja|kr|es)$!", $dir) || $legal_dirs[$dir]) { $legal_dir = TRUE; } else { $legal_dir = FALSE: } // If this is a legal dir, then it is under the docroot, else use basename if ($dir && $legal_dir) { $page_name = $DOCUMENT_ROOT . $url; } else { $page_name = basename($url); } echo("\n"); if (file_exists($page_name) && !is_dir($page_name)) { show_source($page_name); } else if (is_dir($page_name)) { echo "

No file specified. Can't show source for a directory.

\n"; } if (!strstr($page_name,"include/shared.inc")) { echo hdelim(); ?>

The syntax highlighted source is automatically generated by PHP from the plaintext script.
If you're interested in what's behind the commonHeader() and commonFooter() functions, you can always take a look at the source of the and files. And, of course, if you want to see the source of this page, have a look .