jenkins-bot has submitted this change and it was merged.
Change subject: Remove unused globals.
......................................................................
Remove unused globals.
Change-Id: Icde0bbfcfe5e560a3db0ccb8020b9c9a27f4fba3
---
M includes/ChangesList.php
M includes/Title.php
2 files changed, 1 insertion(+), 3 deletions(-)
Approvals:
Anomie: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/ChangesList.php b/includes/ChangesList.php
index dee8bf7..f3dcf67 100644
--- a/includes/ChangesList.php
+++ b/includes/ChangesList.php
@@ -362,8 +362,6 @@
* @param $watched
*/
public function insertArticleLink( &$s, &$rc, $unpatrolled, $watched ) {
- global $wgUseRCPatrol;
-
$params = array();
$articlelink = Linker::linkKnown(
diff --git a/includes/Title.php b/includes/Title.php
index 12a08ee..0c223af 100644
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -2099,7 +2099,7 @@
* @return Array list of errors
*/
private function checkReadPermissions( $action, $user, $errors,
$doExpensiveQueries, $short ) {
- global $wgWhitelistRead, $wgWhitelistReadRegexp,
$wgRevokePermissions;
+ global $wgWhitelistRead, $wgWhitelistReadRegexp;
$whitelisted = false;
if ( User::isEveryoneAllowed( 'read' ) ) {
--
To view, visit https://gerrit.wikimedia.org/r/73444
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Icde0bbfcfe5e560a3db0ccb8020b9c9a27f4fba3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Platonides <[email protected]>
Gerrit-Reviewer: Anomie <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
