Extension:TopBarMenuCustomizer

From mediawiki.org