From 0510c9b111aed03d0d3680db63614d50f231745c Mon Sep 17 00:00:00 2001
From: Aldo Cortesi <aldo@nullcube.com>
Date: Wed, 10 Sep 2014 14:22:26 +1200
Subject: Client-side framework for web application

---
 web/src/vendor/benchmark/doc/parse.php | 35 ++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 web/src/vendor/benchmark/doc/parse.php

(limited to 'web/src/vendor/benchmark/doc/parse.php')

diff --git a/web/src/vendor/benchmark/doc/parse.php b/web/src/vendor/benchmark/doc/parse.php
new file mode 100644
index 00000000..565b78fb
--- /dev/null
+++ b/web/src/vendor/benchmark/doc/parse.php
@@ -0,0 +1,35 @@
+<?php
+
+  // cleanup requested filepath
+  $file = isset($_GET['f']) ? $_GET['f'] : 'benchmark';
+  $file = preg_replace('#(\.*[\/])+#', '', $file);
+  $file .= preg_match('/\.[a-z]+$/', $file) ? '' : '.js';
+
+  // output filename
+  if (isset($_GET['o'])) {
+    $output = $_GET['o'];
+  } else if (isset($_SERVER['argv'][1])) {
+    $output = $_SERVER['argv'][1];
+  } else {
+    $output = basename($file);
+  }
+
+  /*--------------------------------------------------------------------------*/
+
+  require('../vendor/docdown/docdown.php');
+
+  // generate Markdown
+  $markdown = docdown(array(
+    'path' => '../' . $file,
+    'title' => 'Benchmark.js <sup>v1.0.0</sup>',
+    'url'  => 'https://github.com/bestiejs/benchmark.js/blob/master/benchmark.js'
+  ));
+
+  // save to a .md file
+  file_put_contents($output . '.md', $markdown);
+
+  // print
+  header('Content-Type: text/plain;charset=utf-8');
+  echo $markdown . PHP_EOL;
+
+?>
-- 
cgit v1.2.3