We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.

Commit 12d7c30e authored by Evan Prodromou's avatar Evan Prodromou

Add event.php before config.php is called

parent b1f9dec2
......@@ -49,6 +49,11 @@ require_once('DB/DataObject/Cast.php'); # for dates
require_once(INSTALLDIR.'/lib/language.php');
// This gets included before the config file, so that admin code and plugins
// can use it
require_once(INSTALLDIR.'/lib/event.php');
// try to figure out where we are
$_server = array_key_exists('SERVER_NAME', $_SERVER) ?
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment