Remove "Random" page in mobile menu.
authorphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Tue, 20 Nov 2018 21:39:42 +0000 (21:39 +0000)
committerphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Tue, 20 Nov 2018 21:39:42 +0000 (21:39 +0000)
commit8aca490f86f6803dbc149414b78d9e64c10ce7e4
tree88f956c6f57aa095a0768832fc1643b910e7f6bd
parent5ebf7d7e8b63523ccb9fbffc518f68c32f344ba0
Remove "Random" page in mobile menu.

git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrreport/trunk@2786 7aebc617-e5e2-0310-91dc-80fb5f6d2477
wrreport_body.php