Change-Id: I463fd80c061198839d3e24dd2015847595dad5a3
Change-Id: Ifd7c5e1bcfe5b758cee37982de2bb652365fb665
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