WebInstallerOutput: Restore 'global $wgResourceModules'

Deleted in 301a7f3d, previously added in a96afeb2.

Change-Id: If0889bc003320abd0b74fc57b8975255f0efcc7e

diff --git a/includes/installer/WebInstallerOutput.php b/includes/installer/WebInstallerOutput.php
index 174120f..0ce2007 100644 (file)
--- a/includes/installer/WebInstallerOutput.php
+++ b/includes/installer/WebInstallerOutput.php
@@ -126,6 +126,11 @@ class WebInstallerOutput {
        public function getCSS() {
                // Horrible, horrible hack: the installer is currently hardcoded to use the Vector skin, so load
                // it here. Include instead of require, as this will work without it, it will just look bad.
+               // We need the 'global' statement for $wgResourceModules because the Vector skin adds the
+               // definitions for its RL modules there that we use implicitly below.
+               // @codingStandardsIgnoreStart
+               global $wgResourceModules; // This is NOT UNUSED!
+               // @codingStandardsIgnoreEnd
                global $wgStyleDirectory;
                include_once "$wgStyleDirectory/Vector/Vector.php";