Merge "Revert "Also delete the page information cache when invalidating cache of...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 7 Jan 2013 12:11:33 +0000 (12:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 7 Jan 2013 12:11:33 +0000 (12:11 +0000)
commit22bfd9887e2f2ce087b3e002279d78c6312f7ceb
tree851f896932e50e10b1158d1326d95fd8c16cac88
parent86fb1cc78c94c7fa3a07f10981f697673e281535
parent18e8e4128026f2ed76173e48dc13b96747c11559
Merge "Revert "Also delete the page information cache when invalidating cache of a non-existing page""
includes/Title.php