Change-Id: I92086f744e5994b518dd54facea563119f82ddd3
Change-Id: I8dd5724cd88c82af9e94970ece46d18efab00b94
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: I83b1efb4a489254c76e0cbda72ff34efa3d41261