https://bugzilla.wikimedia.org/show_bug.cgi?id=24818
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
Version|1.16.0 |1.16.x
--
Configure
https://bugzilla.wikimedia.org/show_bug.cgi?id=24818
Max Semenik maxsem.w...@gmail.com changed:
What|Removed |Added
Status|NEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=24818
Roan Kattouw roan.katt...@gmail.com changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=24818
--- Comment #3 from Alex Kozak ako...@creativecommons.org 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
https://bugzilla.wikimedia.org/show_bug.cgi?id=24818
--- Comment #1 from Max Semenik maxsem.w...@gmail.com 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
