Change-Id: I98f198852eccbe811c0c19d37a1ec39d40c45d52
Change-Id: Idc8889ea097f69059bcacfa17e98ef0eba3e1ea1
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