Change-Id: I6009e6f3db2abd91bf0b193713fefd6520627309
Change-Id: I77e19bba091771c3c863057c462108fd93b93efd
This is the final step of the process described at <https://www.mediawiki.org/wiki/Separating_skins_from_core_MediaWiki>. Corresponding core change: Idfc38503. Change-Id: I84fcf7ce6385b8323544cafe6912a00f1886d20d