1 files changed, 16 insertions, 0 deletions
diff --git a/platform/www/lib/exe/taskrunner.php b/platform/www/lib/exe/taskrunner.php
new file mode 100644
index 0000000..69ab445
--- /dev/null
+++ b/platform/www/lib/exe/taskrunner.php
@@ -0,0 +1,16 @@
+<?php
+/**
+ * DokuWiki indexer
+ *
+ * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
+ * @author     Andreas Gohr <andi@splitbrain.org>
+ */
+if (!defined('DOKU_INC')) {
+    define('DOKU_INC', __DIR__ . '/../../');
+}
+define('DOKU_DISABLE_GZIP_OUTPUT',1);
+require_once DOKU_INC.'inc/init.php';
+session_write_close();  //close session
+
+$taskRunner = new \dokuwiki\TaskRunner();
+$taskRunner->run();