Cast the return value of getExtraUserToggles() to an array in case it's not in the...
authorRoan Kattouw <catrope@users.mediawiki.org>
Tue, 8 Nov 2011 17:20:54 +0000 (17:20 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Tue, 8 Nov 2011 17:20:54 +0000 (17:20 +0000)
commit36c02e4bf6a325b650acb32932eb945dd4326af8
tree52d00abc38f93f362e6848fec8a0c4b2dda129c5
parent752910f4e74c83f3687a6f5e9481fdd92b9e2424
Cast the return value of getExtraUserToggles() to an array in case it's not in the dataCache
languages/Language.php