On Sat, Jul 19, 2003 at 09:22:02PM +0200, Tomasz Wegrzanowski wrote:
There seem to be consensus to apply that.
Warning to certain people: some Polish Wikipedians want to change default skin too, and there's nothing non-Polish Wikipedians can do to stop it, would consensus on it emerge among Polish Wikipedians.
Yeah, as if it could possibly work.
There's error: except Nl, no LanguageXX.php overrides method getDefaultUserOptions, so %wgDefaultUserOptionsXX variables are useless in language files.
Fix for Pl.
Already applied to pl.wikipedia.org