showcode.inc 1.1 KB

123456789101112131415161718192021222324252627282930313233343536
  1. <?php
  2. //Browse text files (like code)
  3. $statz = stat($post);
  4. $uid = $statz['uid'];
  5. $udata = posix_getpwuid($uid);
  6. $user = $udata['name'];
  7. $date = date("F d Y H:i:s", filemtime($post));
  8. $title = basename($post);
  9. echo "<h3 class=\"blogtitles\"><a title=permalink href=\"$post\">$title</a></h3>\n";
  10. echo "Last modified on $date UTC by $user<br /><br />\n";
  11. $text = file_get_contents($post);
  12. // Convert UTF-8 string to HTML entities
  13. $text = mb_convert_encoding($text, 'HTML-ENTITIES',"UTF-8");
  14. // Convert HTML entities into ISO-8859-1
  15. $text = html_entity_decode($text,ENT_NOQUOTES, "ISO-8859-1");
  16. // Convert characters > 127 into their hexidecimal equivalents
  17. for($i = 0; $i < strlen($text); $i++) {
  18. $letter = $text[$i];
  19. $num = ord($letter);
  20. if($num>127) {
  21. $out .= "&#$num;";
  22. } elseif ($letter == "\n") {
  23. $out .= "<br />";
  24. } elseif ($letter == "\t") {
  25. $out .= "&#8194;&#8194;&#8194;&#8194;";
  26. } elseif ($letter == " ") {
  27. $out .= "&#8194;";
  28. } else {
  29. $out .= $letter;
  30. }
  31. }
  32. echo $out;
  33. $parent = dirname($post);
  34. echo "<hr /><a title=back href=\"index.php?nav=1&dir=$parent\"><img alt=back src=img/mime/tsfolder-up.gif />$parent</a>";
  35. ?>