Fix r62774 in a different way.
authorTim Starling <tstarling@users.mediawiki.org>
Mon, 22 Feb 2010 10:48:30 +0000 (10:48 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Mon, 22 Feb 2010 10:48:30 +0000 (10:48 +0000)
commit0781f6f3aaca718bbe19669c36bdaf104ceda335
treee5c55739a06c05837f07ad8d6c1a5b12c057aa3f
parentb327c1a5f8f951c7a97fc43c4e9c0e701bf0a666
Fix r62774 in a different way.
includes/Preferences.php