Change-Id: Ic21eb1875ce2bb3157906ccc961f1c8cf05467c9
Change-Id: I1bbd3e705f1919389f81bd4dc40cdc18aec0f63c
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