[MediaWiki-commits] [Gerrit] mediawiki...AdvancedSearch[master]: Hide old namespace selection
WMDE-Fisch has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/358564 ) Change subject: Hide old namespace selection .. Hide old namespace selection Change-Id:
[MediaWiki-commits] [Gerrit] mediawiki...AdvancedSearch[master]: Hide old namespace selection
Gabriel Birke has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/358564 ) Change subject: Hide old namespace selection .. Hide old namespace selection Change-Id: I072d8fd296a11aed3dc15df0437b7cc7ce52f8f0