[MediaWiki-commits] [Gerrit] mediawiki...AdvancedSearch[master]: T171843: Remove fields for category search and for prefix se...

2017-08-06 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/370207 ) Change subject: T171843: Remove fields for category search and for prefix search .. T171843: Remove fields for category search a

[MediaWiki-commits] [Gerrit] mediawiki...AdvancedSearch[master]: T171843: Remove fields for category search and for prefix se...

2017-08-04 Thread Jeroen De Dauw (Code Review)
Jeroen De Dauw has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/370207 ) Change subject: T171843: Remove fields for category search and for prefix search .. T171843: Remove fields for category search and fo