Change-Id: I91beb572dc3f21ddaed8c7b5d52420a35a711fe7
Change-Id: Ia2e345b66a27b295a27042358ba72094fc5513bf
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