Repair mobile menu (icons not shown yet).
[philipp/winterrodeln/mediawiki_extensions/wrreport.git] / wrreport.alias.php
2019-05-27 philippAvoid deprecated hook LanguageGetSpecialPageAliases.