Merge pull request #715 from Gravatronics/bug/userGetLanguageIDs
authorAlexander Ebert <ebert@woltlab.com>
Sun, 22 Jul 2012 19:15:14 +0000 (12:15 -0700)
committerAlexander Ebert <ebert@woltlab.com>
Sun, 22 Jul 2012 19:15:14 +0000 (12:15 -0700)
Fixes User::getLanguageIDs()


Trivial merge