diff --git a/_sources/scripts/extensions-skins.php b/_sources/scripts/extensions-skins.php
index 6a2b6f77..5dfb522d 100644
--- a/_sources/scripts/extensions-skins.php
+++ b/_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");