Merge "page: Avoid deprecated wfMemcKey()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 26 May 2017 23:06:19 +0000 (23:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 26 May 2017 23:06:19 +0000 (23:06 +0000)
commitb3fb666bd265cb8f4e0bf2a696c4215bf17ef0ac
treee92d62d14b5263de83fdea4a2da987e181c99dd1
parent02534f69c0776393631b2e90cd8898be49e931d0
parentcefab8bcbef084306fe0f9ba1c50a9ec6e1b7f37
Merge "page: Avoid deprecated wfMemcKey()"
includes/page/WikiPage.php