Merge "Unbreak extensions using SpecialSearchResults hook"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Jan 2017 22:44:01 +0000 (22:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Jan 2017 22:44:02 +0000 (22:44 +0000)
commit06b24dbfca8891962d135cb2907d1eac000c8f85
tree1cf69ad335db0ab3b3dbf8b38313841a5ccb75e7
parent318694794acb4246e8887e90fa111b128954d04e
parent8bf6de3042e948782c81e729e1b0169c0b0912c8
Merge "Unbreak extensions using SpecialSearchResults hook"
docs/hooks.txt