[MediaWiki-commits] [Gerrit] Removed unused menu file - change (apps...wikipedia)

2014-11-13 Thread jenkins-bot (Code Review)
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)

2014-11-13 Thread BearND (Code Review)
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/