Rename some html files php

1 files changed, 24 insertions, 0 deletions

diff --git a/html/fileshow.php b/html/fileshow.php
new file mode 100644
index 00000000..94df8538
--- /dev/null
+++ b/html/fileshow.php
@@ -0,0 +1,24 @@
+<?php
+  require('functions.php3');
+  require('elispmarkup.php3');
+  $filename=$HTTP_GET_VARS["file"];
+  $title=$HTTP_GET_VARS["title"];
+  $expanded=$HTTP_GET_VARS["expanded"];
+  if ($title=="") { $title = $filename; };
+  small_header($title);
+  print "<pre>\n";
+  /* I hope this is enough to prevent access outside cwd */
+  if (substr($filename,0,1)=="." or 
+      substr($filename,0,1)=="/" or
+      substr($filename,0,1)=="~") {
+     print "Sorry, can't show you that file!\n"; 
+  } elseif (substr($filename,-3)==".el") {
+     elisp_markup($filename,"fileshow.html");
+  } else {
+     outline_markup($filename,"fileshow.html",$expanded);
+  }
+  print "</pre>\n";
+  print "<hr>";
+  click_to_go_back();
+  footer();
+?>