On Wed, 26 Mar 2014 20:06:10 +0100, Brian Wolff <bawolff(a)gmail.com> wrote:
I actually think (imho) it would be better implemented
as a separate
resource loader module rather then piggy backing on
MediaWiki:Common.css. Otherwise it will get bogged down with trying to
parse Common.css to figure out what the current settings are. If its a
separate RL module, then the customizations are entirely separate of
any junk users added to Common.css (Including syntax errors which I'm
sure are common on wikis where the admins don't know css, which is the
target audience). The downside of course is users can't as easily
"see" the generated css to "learn" how it works under the hood, or
make simple modifications to generated css.
IIRC Ioannis actually proposed storing the data as JSON or XML in some page and generating
the CSS on-demand from it.
--
Matma Rex