diff options
author | Martin Doucha <next_ghost@quick.cz> | 2012-07-06 14:02:10 +0200 |
---|---|---|
committer | Martin Doucha <next_ghost@quick.cz> | 2012-07-06 14:02:10 +0200 |
commit | 27849ebfc6b61fbb42ec6deb9c99ff548c40b4ac (patch) | |
tree | 5c231dfd7978a65522f56fd3be29bfe9679a64a7 /inc/init.php | |
parent | 3fb0e07d018fc6c8d173bd4a8a58c77ba00290fb (diff) | |
parent | 4ba05e11e88dd654689b0f6333b1427e03d1b0fe (diff) | |
download | rpg-27849ebfc6b61fbb42ec6deb9c99ff548c40b4ac.tar.gz rpg-27849ebfc6b61fbb42ec6deb9c99ff548c40b4ac.tar.bz2 |
Merge branch 'master' of git://github.com/splitbrain/dokuwiki
Diffstat (limited to 'inc/init.php')
-rw-r--r-- | inc/init.php | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/inc/init.php b/inc/init.php index 403fbe4ab..a28050736 100644 --- a/inc/init.php +++ b/inc/init.php @@ -3,7 +3,9 @@ * Initialize some defaults needed for DokuWiki */ -// start timing Dokuwiki execution +/** + * timing Dokuwiki execution + */ function delta_time($start=0) { return microtime(true)-((float)$start); } @@ -197,6 +199,10 @@ if (empty($plugin_controller_class)) $plugin_controller_class = 'Doku_Plugin_Con // load libraries require_once(DOKU_INC.'inc/load.php'); +// input handle class +global $INPUT; +$INPUT = new Input(); + // initialize plugin controller $plugin_controller = new $plugin_controller_class(); |