Change-Id: Ie27da5f80c55584db7d90df8e844db68f64fed3e
Change-Id: Iec1ca96fa72aab66e305347d8da56e84aceb92fd
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