Add event.php before config.php is called

diff --git a/lib/common.php b/lib/common.php
index 5b4e3c40c87d12173ed1058eccaf0c55c56b1765..7d3ec108ca32efc2d54c81ac2369c023feb0c460 100644 (file)
--- a/lib/common.php
+++ b/lib/common.php
@@ -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) ?