[MediaWiki-commits] [Gerrit] Removed unused menu file - change (apps...wikipedia)
jenkins-bot has submitted this change and it was merged. Change subject: Removed unused menu file .. Removed unused menu file Change-Id: Ib0875511da9dc8104b023a27bfb618b82cf8b62c --- D wikipedia/res/menu/menu_search.xml 1 file
[MediaWiki-commits] [Gerrit] Removed unused menu file - change (apps...wikipedia)
BearND has uploaded a new change for review. https://gerrit.wikimedia.org/r/173237 Change subject: Removed unused menu file .. Removed unused menu file Change-Id: Ib0875511da9dc8104b023a27bfb618b82cf8b62c --- D wikipedia/res/