Právě prohlížíš: parser.php
Zpět do složkyStáhnout
  1. <?php
  2. if(!isset($_GET["file"])||!file_exists($_GET["file"])) {
  3.   header("Content-Type: text/plain; charset=utf8");
  4.   if(!empty($_GET["file"])) {
  5.     include "readfile.php";
  6.   }
  7.   die("Specify a file, please.");
  8. }
  9.  
  10. //Language by extension (c++ and c are alike)
  11. $languages = array(
  12.   "js" => "javascript",
  13.   "c"  => "cpp",
  14.   "cs" => "csharp",
  15.   "h"  => "cpp",
  16.   "ino"=> "cpp",
  17.   "hpp"=> "cpp",
  18.   "php"=> "php"
  19. );
  20. //Find extension
  21. $type = getExtension($_GET["file"]);
  22. //Download the file rather than parse
  23. if(isset($_GET["dl"])) {
  24.   $texttype = "plain";
  25.  
  26.   if(isset($languages[$type])) {
  27.     $texttype = $languages[$type];
  28.   }
  29.  
  30.   header("Content-Type: text/$texttype; charset=utf-8");
  31.   header("Content-Length: ".filesize($_GET["file"]));
  32.   header("Content-Disposition: attachment; filename=\"{$_GET["file"]}\"");
  33.   readfile($_GET["file"]);
  34.   exit;
  35. }
  36.  
  37.  
  38.  
  39.  
  40. //Clean buiffers
  41. /*while(@ob_end_clean());
  42. ob_implicit_flush(true);
  43. ob_start();   */
  44.  
  45. //Debug timing to find out why it takes so long...
  46. include "Timer.class.php";
  47. $t = new Timer;
  48. //Record start time
  49. $t("init");
  50.  
  51. header("Content-Type: text/html; charset=utf-8");
  52.  
  53.  
  54.  
  55. $lang = "";
  56. if(isset($languages[$type]))
  57.   $lang = $languages[$type];
  58. else 
  59.   $lang = $type; 
  60. //Define, whether a cache file can be loaded, assume not
  61. $cache=false;
  62. //Define cache file  name
  63. define("CACHENAME","cache/".str_replace("/","__",$_GET['file']));
  64.  
  65. $t("parsing");  
  66.  
  67.  
  68. //Check if there is any cache we can use
  69. //If so, skip parsing
  70. if(!file_exists(CACHENAME)||filemtime($_GET['file'])>filemtime(CACHENAME)) {
  71.     //die("Can't parse now");
  72.     require "geshi.php";
  73.     $g = new GeSHi(file_get_contents($_GET["file"]),$lang);
  74.     $g->enable_classes();
  75.     $g->enable_line_numbers(GESHI_FANCY_LINE_NUMBERS, 5);
  76.  
  77.     $g->set_overall_style('font: normal normal 90% monospace; color: #000066; border: 1px solid #d0d0d0; background-color: #f0f0f0;', false);
  78.  
  79.     $g->set_line_style('color: #003030;', 'font-weight: bold; color: #006060;', true);
  80.     $g->set_code_style('color: #000020;', true);
  81.  
  82.     $g->set_link_styles(GESHI_LINK, 'color: #000060;');
  83.     $g->set_link_styles(GESHI_HOVER, 'background-color: #f0f000;');
  84.  
  85.     $g->set_footer_content('Parsed using <a href="http://qbnz.com/highlighter/">GeSHi <VERSION></a> at <TIME>');
  86.     $g->set_footer_content_style('font-family: sans-serif; color: #808080; font-size: 50%; font-weight: bold; background-color: #f0f0ff; border-top: 1px solid #d0d0d0; padding: 2px;');
  87.     if(!is_dir("cache"))
  88.       mkdir("cache");
  89.     //Save data into a file
  90.     file_put_contents(CACHENAME,$g->parse_code());
  91.     //Also cache CSS file for this language
  92.     if(!file_exists("css/$lang.css")) {
  93.       if(!is_dir("css"))
  94.         mkdir("css");
  95.       file_put_contents("css/$lang.css",$g->get_stylesheet(true));
  96.     }
  97. }
  98. else {
  99.     //$code = file_get_contents("cache/{$_GET['file']}");
  100.     //So... cache exist so we may load it
  101.  
  102.     $cache=true;
  103.     //I tried to output the file directly from here - didn't help
  104.       //readfile(CACHENAME);
  105.       //exit;
  106. }
  107. $t("html");
  108.  
  109. function getExtension() {
  110.   //Parse file name (get extension)
  111.   $type = explode(".",$_GET["file"]);
  112.   return $type[count($type)-1];
  113. }
  114. ?>
  115. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
  116.                       "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  117. <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  118. <head>
  119.     <title>Source of <?php echo $_GET["file"]; if($cache) echo " [cached]";?></title>
  120.     <link rel="stylesheet" href="http://u8.8u.cz/code/css/<?php echo $lang;?>.css" />
  121.     <style type="text/css">
  122.     <!--
  123.     /* <endora> */
  124.  
  125.     html {
  126.         background-color: #f0f0f0;
  127.         padding:0px;
  128.         margin: 0px;
  129.     }
  130.     body {
  131.         font-family: Verdana, Arial, sans-serif;
  132.         margin: 0px;
  133.         border: 2px solid #e0e0e0;
  134.         background-color: #fcfcfc;
  135.         padding: 5px;
  136.     }
  137.     h2 {
  138.         margin: .1em 0 .2em .5em;
  139.         border-bottom: 1px solid #b0b0b0;
  140.         color: #b0b0b0;
  141.         font-weight: normal;
  142.         font-size: 150%;
  143.     }
  144.     h3 {
  145.         margin: .1em 0 .2em .5em;
  146.         color: #b0b0b0;
  147.         font-weight: normal;
  148.         font-size: 120%;
  149.     }
  150.     #footer {
  151.         text-align: center;
  152.         font-size: 80%;
  153.         color: #a9a9a9;
  154.     }
  155.     #footer a {
  156.         color: #9999ff;
  157.     }
  158.     textarea {
  159.         border: 1px solid #b0b0b0;
  160.         font-size: 90%;
  161.         color: #333;
  162.         margin-left: 20px;
  163.     }
  164.     select, input {
  165.         margin-left: 20px;
  166.     }
  167.     p {
  168.         font-size: 90%;
  169.         margin-left: .5em;
  170.     }
  171.  
  172.  
  173.     div.header {
  174.       margin-top: 5px;
  175.     }
  176.     div.info1 {
  177.       float: left;
  178.  
  179.     }
  180.     div.buttons {
  181.       float:right;
  182.       padding-right: 50px;
  183.     }
  184.     div.buttons a {
  185.       background-color: #CCCCE0;
  186.       border: 1px solid #AAA;
  187.       padding: 5px;
  188.       margin: 5px;
  189.       border-radius: 5px;
  190.       color: white;
  191.       font-weight: bold;
  192.       text-decoration: none;    
  193.     }
  194.     div.buttons a:hover {
  195.       background-color: #93AAFF;
  196.     }
  197.     div.buttons a:active {
  198.       background-color: white;
  199.       border-color: blue;
  200.       color: #3B73FF;
  201.     }
  202.     div.header, div.clear {
  203.       clear: both;
  204.     }
  205.  
  206.  
  207.     div#display {
  208.       margin:0px;
  209.       padding:0px;
  210.     }
  211.     -->
  212.     </style>
  213. </head>
  214. <body>
  215. <div class="header">
  216.   <div class="info1">Právě prohlížíš: <tt><?php echo $_GET["file"];?></tt> </div>
  217.   <div class="buttons"><a href="./">Zpět do složky</a><a href="?dl">Stáhnout</a></div>
  218.   <div class="clear"></div>
  219. </div>
  220. <div id="display">
  221.  
  222. </div>
  223.  
  224. <?php
  225. //flush();
  226. //ob_flush();
  227.  
  228. $t("output");
  229. readfile(CACHENAME);
  230. $t("over");                
  231. echo PHP_EOL." <!--\n   Parse time: {$t["parsing-html"]}\n";
  232. echo "   Output time: {$t["output-over"]}\n";
  233. echo "   All time: {$t["init-over"]}\n";
  234. echo "\n -->"
  235. ?>
  236. <script type="text/javascript">
  237.  
  238. </script>
  239. </body>
  240. </html>
Parsed using GeSHi 1.0.8.11 at 0.072