jdlrobson cbad0bd363 Merge skin option modules into a single ResourceLoader module and move enabled logic to client ... It's presumed that skin options will eventually become the default or be removed from the skin. While they are not the default, it would be helpful to package them in one single module - as ResourceLoader modules are costly bloating the dependency graph in the MediaWiki startup module. In T167713 we talked about grouping our entry points by page rather than feature, which this seems consistent with. A page with special options enabled is different from a page without. Change-Id: Id948f913d4743532ba3442d2059a03c122419ff2		2018-10-12 10:18:21 -07:00
..
skins	Merge skin option modules into a single ResourceLoader module and move enabled logic to client	2018-10-12 10:18:21 -07:00
MenuBuilderTest.php	Fix some file names to match their class names	2018-04-15 16:12:45 -07:00