Merge "Update usage of getTitleSnippet(), getRedirectSnippet() and getSectionSnippet()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 5 Oct 2014 18:30:31 +0000 (18:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 5 Oct 2014 18:30:31 +0000 (18:30 +0000)
commitd5aac726d092b30545f92a8936b3ddbe907213d7
tree1aec6b1f51257d2c518c32186960197974d9c0aa
parent2682eb00aa37dc9ca203bd300d05424435b00cec
parentee12c35ac51640dafdffa110be0946c5481b49f6
Merge "Update usage of getTitleSnippet(), getRedirectSnippet() and getSectionSnippet()"
includes/specials/SpecialSearch.php