mirror of
https://github.com/php/web-php.git
synced 2026-03-28 09:12:17 +01:00
20 lines
396 B
PHP
20 lines
396 B
PHP
<? isset($page_url) or die("No page URL specified."); ?>
|
|
<html>
|
|
<head>
|
|
<title>Source of <? echo $page_url ?></title>
|
|
<?
|
|
$title="Source of $page_url";
|
|
include "include/header.inc";
|
|
|
|
/* remove path prefix if exists */
|
|
if ($tmp=strrchr($page_url,"/")) {
|
|
$page_name = substr($tmp,1,strlen($tmp));
|
|
} else {
|
|
$page_name = $page_url;
|
|
}
|
|
|
|
show_source($page_name);
|
|
|
|
include "include/footer.inc";
|
|
?>
|