Tidy up declaration of $wgSiteTypes
authorReedy <reedy@wikimedia.org>
Wed, 9 Jan 2013 05:48:09 +0000 (05:48 +0000)
committerReedy <reedy@wikimedia.org>
Wed, 9 Jan 2013 05:48:09 +0000 (05:48 +0000)
commitf81a5a6cec0905ff685294de2cee86bc53ed81bb
tree64896fb780999e0c9e017b29e45718d3a95d9b20
parenta31d0f8edd167e9ee301b694a8092fe0cbcfdabf
Tidy up declaration of $wgSiteTypes

Change-Id: I7eabc83bd7a6e0ffba6075e0caffd8420b01721f
includes/DefaultSettings.php