[MediaWiki-commits] [Gerrit] mediawiki...AdvancedSearch[master]: Remove unused onSpecialSearchPowerBox hook

2017-11-21 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/392613 ) Change subject: Remove unused onSpecialSearchPowerBox hook .. Remove unused onSpecialSearchPowerBox hook Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...AdvancedSearch[master]: Remove unused onSpecialSearchPowerBox hook

2017-11-21 Thread Addshore (Code Review)
Addshore has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/392613 ) Change subject: Remove unused onSpecialSearchPowerBox hook .. Remove unused onSpecialSearchPowerBox hook Change-Id: