Extension Preferences disappear from menu after reload
When reloading the page with an open preference menu, the entries for
extension preferences and extension shortcuts disappear from the menu.
If the preferences menu is closed and opened again, the entries are back.
(from redmine: issue id 2275, created on 2015-10-28 by root, closed on 2016-07-01)