Merge "Rename WikiPage::isParserCacheUsed to WikiPage::shouldCheckParserCache"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 23 Jun 2015 04:14:15 +0000 (04:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 23 Jun 2015 04:14:15 +0000 (04:14 +0000)
commit25636af1623daab9bff69eddce78113289eb69fe
treea3f7b5daef5a9c973ec342e1b4aa28f9c4c5562a
parented42627460b5d0a7bc99f54caf5685bcd32a240f
parentb0a79e924553281ac55e43a7d4849595c17d34eb
Merge "Rename WikiPage::isParserCacheUsed to WikiPage::shouldCheckParserCache"