[MediaWiki-commits] [Gerrit] Use global user ID in global cache keys - change (mediawiki...Echo)

Catrope has submitted this change and it was merged. Change subject: Use global user ID in global cache keys .. Use global user ID in global cache keys We were using the local user ID instead, which is not the same on every wik

[MediaWiki-commits] [Gerrit] Use global user ID in global cache keys - change (mediawiki...Echo)

Catrope has uploaded a new change for review. https://gerrit.wikimedia.org/r/295112 Change subject: Use global user ID in global cache keys .. Use global user ID in global cache keys We were using the local user ID instead, w

[MediaWiki-commits] [Gerrit] Use global user ID in global cache keys - change (mediawiki...Echo)

jenkins-bot has submitted this change and it was merged. Change subject: Use global user ID in global cache keys .. Use global user ID in global cache keys We were using the local user ID instead, which is not the same on every

[MediaWiki-commits] [Gerrit] Use global user ID in global cache keys - change (mediawiki...Echo)

Catrope has uploaded a new change for review. https://gerrit.wikimedia.org/r/287153 Change subject: Use global user ID in global cache keys .. Use global user ID in global cache keys We were using the local user ID instead, w