Change type of MenuBuilder to avoid an exception.
authorphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Mon, 27 May 2019 19:30:19 +0000 (19:30 +0000)
committerphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Mon, 27 May 2019 19:30:19 +0000 (19:30 +0000)
commit4212dd3ae596825013fc881bb2c66de3383d9f11
treee9c931f29f6c0d6e89d5f3dc8a3a681f8e2c2a09
parentc38f3ff397b346b20ebf2aa3776615943a309bfa
Change type of MenuBuilder to avoid an exception.

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