Change-Id: Ied2f7636e85a235da844e5195b041e9043f8ad4c
Change-Id: I221465c3c650f78c116f1dbe7ffbe6b0784b3d38
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