Last modified: 2014-05-31 12:28:00 UTC
The extension should be configurable so users can enable or disable the navigation bars entirely.
Change 80237 had a related patch set uploaded by Mollywhite: Bug 53164: Add variable to enable/disable navigtion bars. https://gerrit.wikimedia.org/r/80237
Change 80237 merged by jenkins-bot: Bug 53164: Add variable to enable/disable navigtion bars. https://gerrit.wikimedia.org/r/80237