[Bug 24818] Changing skin in userOptions.php fails.

2012-04-12 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24818 Krinkle changed: What|Removed |Added Version|1.16.0 |1.16.x -- Configure bugmail: https://bugzil

[Bug 24818] Changing skin in userOptions.php fails.

2010-09-18 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24818 Max Semenik changed: What|Removed |Added Status|NEW |RESOLVED Resolution|

[Bug 24818] Changing skin in userOptions.php fails.

2010-09-08 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24818 --- Comment #3 from Alex Kozak 2010-09-08 20:24:59 UTC --- We'd set the $wgDefaultSkin = 'vector', but are unable to replicate the original bug (the vector skin is enabled just fine according to our users). It's possible there was an unrelated

[Bug 24818] Changing skin in userOptions.php fails.

2010-09-08 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24818 Roan Kattouw changed: What|Removed |Added CC||roan.katt...@gmail.com --- Comment #2 f

[Bug 24818] Changing skin in userOptions.php fails.

2010-08-20 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24818 --- Comment #1 from Max Semenik 2010-08-20 17:26:58 UTC --- Setting a preference to a global default simply removes it from database, so what you're seeing in response to php userOptions.php skin --usage is normal. Are you saying that users di