jenkins-bot has submitted this change and it was merged.
Change subject: Use $GLOBALS for globals
......................................................................
Use $GLOBALS for globals
Follow up: I10f071253e48e6492949ebbc3c07964c747e885f
Change-Id: Iabcba276de1031041b2d458679b4ebca1931c129
---
M Vector.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Vector.php b/Vector.php
index c249ddf..0b92b6a 100644
--- a/Vector.php
+++ b/Vector.php
@@ -22,8 +22,8 @@
* @ingroup Skins
*/
-if ( version_compare( $wgVersion, '1.25c', '<' ) ) {
- echo 'This version of the Vector skin requires at least MediaWiki 1.25,
you have ' . $wgVersion .
+if ( version_compare( $GLOBALS['wgVersion'], '1.25c', '<' ) ) {
+ echo 'This version of the Vector skin requires at least MediaWiki 1.25,
you have ' . $GLOBALS['wgVersion'] .
'. You can download a more appropriate version here:
https://www.mediawiki.org/wiki/Special:SkinDistributor/Vector';
exit();
}
--
To view, visit https://gerrit.wikimedia.org/r/180123
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iabcba276de1031041b2d458679b4ebca1931c129
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/skins/Vector
Gerrit-Branch: master
Gerrit-Owner: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Edokter <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
