Add WikiError to standard components now that we're using it more widely (though...

diff --git a/includes/Setup.php b/includes/Setup.php
index a0e0cc9..96e277b 100644 (file)
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -69,6 +69,7 @@ require_once( 'LoadBalancer.php' );
 require_once( 'HistoryBlob.php' );
 require_once( 'ProxyTools.php' );
 require_once( 'ObjectCache.php' );
+require_once( 'WikiError.php' );
 
 if ( $wgUseDynamicDates ) {
        require_once( 'DateFormatter.php' );