remove duplicate global definitions
authorDomas Mituzas <midom@users.mediawiki.org>
Sun, 21 Feb 2010 17:03:25 +0000 (17:03 +0000)
committerDomas Mituzas <midom@users.mediawiki.org>
Sun, 21 Feb 2010 17:03:25 +0000 (17:03 +0000)
commit77d49e1cefcf7088e054ebd372c16c68dc14d510
treebd096e999214128dc16e333a703718902dcf3d8f
parent13f64719b7646527c0ea86fa831d42db0e37495e
remove duplicate global definitions
includes/Preferences.php