cvs: phpdoc /scripts fix-whitespace.php
| From: | Mehdi Achour | Date: | Sat, 13 Jan 2007 16:46:14 +0000 |
| Subject: | cvs: phpdoc /scripts fix-whitespace.php | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969374763@lists.php.net to get a copy of this message | ||
didou Sat Jan 13 16:46:14 2007 UTC
Modified files:
/phpdoc/scripts fix-whitespace.php
Log:
stop missleading me
http://cvs.php.net/viewvc.cgi/phpdoc/scripts/fix-whitespace.php?r1=1.2&r2=1.3&diff_format=u
Index: phpdoc/scripts/fix-whitespace.php
diff -u phpdoc/scripts/fix-whitespace.php:1.2 phpdoc/scripts/fix-whitespace.php:1.3
--- phpdoc/scripts/fix-whitespace.php:1.2 Tue Aug 22 17:23:07 2006
+++ phpdoc/scripts/fix-whitespace.php Sat Jan 13 16:46:14 2007
@@ -17,7 +17,7 @@
| Etienne Kneuss <colder@php.net> |
+----------------------------------------------------------------------+
- $Id: fix-whitespace.php,v 1.2 2006/08/22 17:23:07 colder Exp $
+ $Id: fix-whitespace.php,v 1.3 2007/01/13 16:46:14 didou Exp $
*/
if (PHP_SAPI !== 'cli') {
@@ -31,7 +31,7 @@
$_SERVER['argc'] < 2) {
echo "Prepare documentation for the new style (Whitespace Fix)\n\n";
- echo "Usage: {$_SERVER['argv'][0]} <extension>\n";
+ echo "Usage: {$_SERVER['argv'][0]} <path_to_extension>\n";
echo " --help, -help, -h, -? - to get this help\n";
die;