Ilmari Karonen wrote:
Technically, one could already turn a style sheet into
an extension by
bundling it with a short PHP file, but that's still unnecessarily
complicated. It would be better if we could just tell wiki owners to
download the CSS file and drop it into the right (common or
skin-specific) directory, and it'd automagically start to work.
Something for the ResourceLoader folks, maybe? Or does such a feature
already exist?
That would be very neat.