]> git.mjollnir.org Git - s9y.git/commitdiff
We don't need no education
authorgarvinhicking <garvinhicking>
Sun, 5 Nov 2006 11:20:15 +0000 (11:20 +0000)
committergarvinhicking <garvinhicking>
Sun, 5 Nov 2006 11:20:15 +0000 (11:20 +0000)
bundled-libs/docs/index.php [deleted file]

diff --git a/bundled-libs/docs/index.php b/bundled-libs/docs/index.php
deleted file mode 100644 (file)
index a4c6c12..0000000
+++ /dev/null
@@ -1,77 +0,0 @@
-<?php
-
-error_reporting(E_ALL);
-require_once 'Text/Wiki.php';
-
-
-/**
-* 
-* Gets microtime; for timing how long it takes to process code.
-* 
-*/
-
-function getmicrotime()
-{ 
-    list($usec, $sec) = explode(" ",microtime()); 
-    return ((float)$usec + (float)$sec); 
-}
-
-// Set up the wiki options
-$options = array();
-$options['view_url'] = "index.php?page=";
-
-
-// Get the list of existing wiki pages, based on the .wiki.txt
-// files in the current directory.
-$options['pages'] = array();
-
-$dir = opendir(dirname(__FILE__));
-
-while ($file = readdir($dir)) {
-    if (substr($file, -9) == '.wiki.txt') {
-        $options['pages'][] = substr($file, 0, -9);
-    }
-}
-
-closedir($dir);
-
-// what page is being requested?
-if (isset($_GET['page'])) {
-    $page = $_GET['page'];
-} else {
-    $page = 'HomePage';
-}
-
-// load the text for the requested page
-$text = implode('', file($page . '.wiki.txt'));
-
-// create a Wiki objext with the loaded options
-$wiki =& new Text_Wiki($options);
-
-// time the operation, and transform the wiki text.
-$before = getMicroTime();
-$output = $wiki->transform($text);
-$after = getMicroTime();
-$time = (float)$after - (float)$before;
-
-
-// output the page!
-?>
-<?xml version="1.0" encoding="iso-8859-1" ?>
-
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
-        "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-        
-<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
-
-    <head>
-        <meta http-equiv="content-type" content="text/html; charset=iso-8859-1" />
-        <title>Text_Wiki::<?php echo $page ?></title>
-        <link rel="stylesheet" href="stylesheet.css" type="text/css" />
-    </head>
-    
-    <body>
-        <?php echo $output ?>
-        <?php echo "<hr /><p>Transformed in $time seconds.</p>" ?>
-    </body>
-</html>