Use php script for extensions and skins setup (earlier - shell)

_sources/scripts/extensions-skins.php

@@ -1,3 +1,4 @@
+<!-- PHP script is used instead of sh script since it is more convenient for parsing and is much cleaner for this task. -->
 <?php
 
 $MW_HOME = getenv("MW_HOME");