Installer: require_once extensions, simple require can cause problems with extensions...

diff --git a/includes/installer/Installer.php b/includes/installer/Installer.php
index f8ab896..2d4cfbf 100644 (file)
--- a/includes/installer/Installer.php
+++ b/includes/installer/Installer.php
@@ -1200,7 +1200,7 @@ abstract class Installer {
                require( "$IP/includes/DefaultSettings.php" );
 
                foreach( $exts as $e ) {
-                       require( "$path/$e/$e.php" );
+                       require_once( "$path/$e/$e.php" );
                }
 
                $hooksWeWant = isset( $wgHooks['LoadExtensionSchemaUpdates'] ) ?