3 commits

Author	SHA1	Message	Date
jdlrobson	c8693b6789	isBorderBox and className properties are deprecated ... These will soon throw warnings and soon be removed! Bug: T209007 Change-Id: Idca4c892366dc5b5e8490f1326188b97abc876f7	2018-11-22 19:11:53 +00:00
Ed Sanders	def03877ce	Remove obsolete aliases from closures ... Bug: T208951 Change-Id: I7cd5ab010596d964fc0896ed250f40d5b6344f6e	2018-11-16 15:16:25 +00:00
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

Renamed from resources/skins.minerva.backtotop/BackToTopOverlay.js (Browse further)