diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2008-06-28 00:26:29 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2008-06-28 00:26:29 +0200 |
| commit | 48beefec86c6c69e0f79fc5cb1c7b6f1fb937973 (patch) | |
| tree | 3960495216fdd5e21d9eb6e45a16a442469bbb82 | |
| parent | a81c88022ed2d0e2c69e8e71d21e5d184480787a (diff) | |
| download | rpg-48beefec86c6c69e0f79fc5cb1c7b6f1fb937973.tar.gz rpg-48beefec86c6c69e0f79fc5cb1c7b6f1fb937973.tar.bz2 | |
support for an option inc/preload.php file
This patch readds the possibilities previously gained by the DOKUWIKI_INIT event
by adding support for including a file named inc/preload.php. When available, it
will be included before any defines for dokuwiki are set.
darcs-hash:20080627222629-7ad00-a663ded7ac08369f011e1f63e1c60fa81ec05b51.gz
| -rw-r--r-- | inc/init.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/inc/init.php b/inc/init.php index 5a565c9af..aa0748207 100644 --- a/inc/init.php +++ b/inc/init.php @@ -10,6 +10,9 @@ } define('DOKU_START_TIME', delta_time()); + // if available load a preload config file + @include(fullpath(dirname(__FILE__)).'/preload.php'); + // define the include path if(!defined('DOKU_INC')) define('DOKU_INC',fullpath(dirname(__FILE__).'/../').'/'); |