mirror of
https://github.com/php/web-php.git
synced 2026-03-24 07:12:16 +01:00
32d0d331b3
Useing <?php standard open tags instead of the shorter one At least trying to be short_tags off compatible. more to come...
60 lines
1.5 KiB
PHP
60 lines
1.5 KiB
PHP
<?php
|
|
require_once 'prepend.inc';
|
|
commonHeader("Show Source");
|
|
|
|
if (!isset($url)) {
|
|
echo "No page URL specified.";
|
|
commonFooter();
|
|
exit;
|
|
}
|
|
|
|
echo "Source of: $url<br>" . hdelim();
|
|
|
|
$legal_dirs = array(
|
|
"/manual" => 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("<!-- $page_name -->\n");
|
|
|
|
if (file_exists($page_name) && !is_dir($page_name)) {
|
|
show_source($page_name);
|
|
} else if (is_dir($page_name)) {
|
|
echo "<P>No file specified. Can't show source for a directory.</P>\n";
|
|
}
|
|
|
|
if (!strstr($page_name,"include/shared.inc")) {
|
|
|
|
echo hdelim();
|
|
|
|
?>
|
|
<P>
|
|
The syntax highlighted source is automatically generated by PHP from the plaintext script.<br>
|
|
If you're interested in what's behind the <B>commonHeader()</B> and <B>commonFooter()</B> functions,
|
|
you can always take a look at the source of the
|
|
<?php print_link("/source.php?url=/include/shared.inc", "shared.inc"); ?> and
|
|
<?php print_link("/source.php?url=/include/layout.inc", "layout.inc"); ?> files.
|
|
And, of course, if you want to see the source of this page, have a look
|
|
<?php print_link("/source.php?url=/source.php", "here"); ?>.
|
|
</P>
|
|
<?php
|
|
}
|
|
|
|
commonFooter();
|
|
?>
|