[MediaWiki-commits] [Gerrit] Note search-redirect.php filtering - change (wikimedia...prince)

2016-06-23 Thread Bearloga (Code Review)
Bearloga has uploaded a new change for review. https://gerrit.wikimedia.org/r/295750 Change subject: Note search-redirect.php filtering .. Note search-redirect.php filtering Bug: T138411 Change-Id:

[MediaWiki-commits] [Gerrit] Note search-redirect.php filtering - change (wikimedia...prince)

2016-06-23 Thread Bearloga (Code Review)
Bearloga has submitted this change and it was merged. Change subject: Note search-redirect.php filtering .. Note search-redirect.php filtering Bug: T138411 Change-Id: I426855a7dd7a7be44e131cc895c03a0079211c7e --- M server.R M