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";