jenkins-bot has submitted this change and it was merged.
Change subject: Actually initialize GlobalUserPage::$touchedCache
......................................................................
Actually initialize GlobalUserPage::$touchedCache
Change-Id: Ifd3c6669385866e629c5d9ac7669f73e3053f59b
---
M GlobalUserPage.body.php
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
Jack Phoenix: Looks good to me, approved
jenkins-bot: Verified
diff --git a/GlobalUserPage.body.php b/GlobalUserPage.body.php
index 83f175b..4e72c1c 100644
--- a/GlobalUserPage.body.php
+++ b/GlobalUserPage.body.php
@@ -151,6 +151,9 @@
* @return string|bool
*/
protected static function getCentralTouched( User $user ) {
+ if ( !self::$touchedCache ) {
+ self::$touchedCache = new MapCacheLRU( 100 );
+ }
if ( self::$touchedCache->has( $user->getName() ) ) {
return self::$touchedCache->get( $user->getName() );
}
--
To view, visit https://gerrit.wikimedia.org/r/171975
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifd3c6669385866e629c5d9ac7669f73e3053f59b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GlobalUserPage
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
