fixed phpdoc formating

are you sure that script can't be abused to read other files on server

git-svn-id: https://svn.code.sf.net/p/squirrelmail/code/trunk/squirrelmail@11862 7612ce4b-ef26-0410-bec9-ea0150e637f0

diff --git a/themes/color_theme_to_css.php b/themes/color_theme_to_css.php
index b01e54a9526eaafa48e309ca6576af15bbe14854..f1e8b8442f89460ba35650805a17cf6363eae6e1 100755 (executable)
--- a/themes/color_theme_to_css.php
+++ b/themes/color_theme_to_css.php
@@ -26,6 +26,7 @@
  * @since 1.5.2
  */
 
+/** make sure that first command line argument is set */
 if (empty($argv[1])) {
     echo "Please provide the path to the file containing the \$color theme you\n" .
          "wish to convert to a stylesheet.\n\n";