In relation to:
https://bugzilla.wikimedia.org/show_bug.cgi?id=25124 - I
am considering removing $wgStyleDirectory rather than further depending
on it.
It seems that it's only partially used right now, and making the style
directory variable but not other directories is inconsistent as well.
There was some point about this being a feature that makes MediaWiki
more flexible, but I'm unsure this is actually adding flexibility, it
seems more like unnecessary complexity.
I'm considering just removing it - any points to the contrary would help
me make this decision.
- Trevor