Last modified: 2014-11-20 01:59:27 UTC
From the feedback page on enwiki: The first item in the Page options menu, “Options”, does EXACTLY what the second item, “Page settings”, does - it opens the dialog box with “Page settings” selected. Can this first, totally extraneous item, be removed from this menu? It just confuses things. -- John Broughton (♫♫) 20:30, 10 August 2014 (UTC) Now *technically* it does do something subtly different: it opens the meta dialog at whichever page you most recently used, but if you haven't yet opened it during the current editing session that doesn't matter. It's also not a distinction that warrants having a separate tool IMO.
Change 153737 had a related patch set uploaded by Catrope: Remove "Options" tool from hamburger menu https://gerrit.wikimedia.org/r/153737
Change 153737 abandoned by Jforrester: Remove "Options" tool from hamburger menu Reason: Let's not do this for now. https://gerrit.wikimedia.org/r/153737