Merge "rm $wgCountTotalSearchHits. It was broken."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 8 Jul 2014 15:41:35 +0000 (15:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 8 Jul 2014 15:41:35 +0000 (15:41 +0000)
commit60b05541cdb08ae9f9512735bbc0f4730fe11ed7
treec3ca7d961bea178c73dba3cdb2b56033ccc82769
parent345fa39378b420e60949f9024ef9bf8a018a6b0b
parent8c953947ff2e19a1e15c33e29bb0b410ce56d343
Merge "rm $wgCountTotalSearchHits. It was broken."