Bookmarklet menu item in Navigation appears even if no bookmarklets are actually available for the logged in user (or anonymous).

Comments

Egon Bianchet’s picture

Egon Bianchet commented
Status: Active » Fixed
Anonymous’s picture

(not verified) commented
Status: Fixed » Closed (fixed)