jenkins-bot has submitted this change and it was merged.
Change subject: Remove unused global
......................................................................
Remove unused global
Follow-up 22eb569
Change-Id: I2c34b1f02c7304bd6864a7402c8be0ab313c7162
---
M includes/Title.php
1 file changed, 0 insertions(+), 2 deletions(-)
Approvals:
Hoo man: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Title.php b/includes/Title.php
index 29e810e..a543126 100644
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -4492,8 +4492,6 @@
* @return Bool true if the update succeeded
*/
public function invalidateCache() {
- global $wgMemc;
-
if ( wfReadOnly() ) {
return false;
}
--
To view, visit https://gerrit.wikimedia.org/r/67019
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2c34b1f02c7304bd6864a7402c8be0ab313c7162
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Platonides <platoni...@gmail.com>
Gerrit-Reviewer: Hoo man <h...@online.de>
Gerrit-Reviewer: IAlex <coderev...@emsenhuber.ch>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
