On Wed, 26 Mar 2014 20:06:10 +0100, Brian Wolff bawolff@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.