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 changed, 0 insertions(+), 10 deletions(-) Approvals: BearND: Looks good to me, approved jenkins-bot: Verified diff --git a/wikipedia/res/menu/menu_search.xml b/wikipedia/res/menu/menu_search.xml deleted file mode 100644 index c97b490..0000000 --- a/wikipedia/res/menu/menu_search.xml +++ /dev/null @@ -1,10 +0,0 @@ -<?xml version="1.0" encoding="utf-8"?> - -<menu xmlns:android="http://schemas.android.com/apk/res/android" - xmlns:app="http://schemas.android.com/apk/res-auto"> - <item android:id="@+id/menu_clear_all_recent_searches" - android:icon="@drawable/ic_delete" - android:title="@string/menu_clear_all_recent_searches" - app:showAsAction="ifRoom" /> - -</menu> \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/173237 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib0875511da9dc8104b023a27bfb618b82cf8b62c Gerrit-PatchSet: 2 Gerrit-Project: apps/android/wikipedia Gerrit-Branch: master Gerrit-Owner: BearND <bsitzm...@wikimedia.org> Gerrit-Reviewer: BearND <bsitzm...@wikimedia.org> Gerrit-Reviewer: Brion VIBBER <br...@wikimedia.org> Gerrit-Reviewer: Dbrant <dbr...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits