Follow up to r71107 - moved forgotten global variables
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Sun, 15 Aug 2010 10:02:17 +0000 (10:02 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Sun, 15 Aug 2010 10:02:17 +0000 (10:02 +0000)
commit94c6600f99b1e4a0784b1f88c208e3a18ea07bce
tree638cfd706336134984f4cac9f2d7372778266e6a
parent6328b0f41e283b2cfe5b830b2f6eba8e438fc2e5
Follow up to r71107 - moved forgotten global variables
includes/DefaultSettings.php