Merge pull request #2813 from Morik/patch-3
authorAlexander Ebert <ebert@woltlab.com>
Wed, 2 Jan 2019 23:23:59 +0000 (00:23 +0100)
committerGitHub <noreply@github.com>
Wed, 2 Jan 2019 23:23:59 +0000 (00:23 +0100)
Add missing data-identifier to mobile menu


Trivial merge