fix from encoding broken by r35535.
authorRaimond Spekking <raymond@users.mediawiki.org>
Thu, 29 May 2008 10:10:49 +0000 (10:10 +0000)
committerRaimond Spekking <raymond@users.mediawiki.org>
Thu, 29 May 2008 10:10:49 +0000 (10:10 +0000)
commit0b813839548978101b2f2454e050751cf39da6c3
treefb89ec476f384324dd0d30d27050e2a229eed0b7
parent3d08ab7895bbc4d1c4126cb22fdc1233d0e94205
fix from encoding broken by r35535.
includes/DefaultSettings.php