Fix for bug in preference save
authorMr. E23 <e23@users.mediawiki.org>
Sun, 25 Jan 2004 00:10:38 +0000 (00:10 +0000)
committerMr. E23 <e23@users.mediawiki.org>
Sun, 25 Jan 2004 00:10:38 +0000 (00:10 +0000)
commit7f2a3294e5e5f49dc4175a41c39a7209d92bce26
tree2150429455f5e61c7a289bcf83d91011d016e058
parent5d2e9f5fb60c63ae9115f398b2af8b1e831c36ba
Fix for bug in preference save
includes/SpecialPreferences.php