cvs: phpdoc /scripts fix-whitespace.php
| From: | Mehdi Achour | Date: | Mon, 15 Jan 2007 01:56:30 +0000 |
| Subject: | cvs: phpdoc /scripts fix-whitespace.php | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969374800@lists.php.net to get a copy of this message | ||
didou Mon Jan 15 01:56:30 2007 UTC
Modified files:
/phpdoc/scripts fix-whitespace.php
Log:
Make it parse single quotes too
http://cvs.php.net/viewvc.cgi/phpdoc/scripts/fix-whitespace.php?r1=1.3&r2=1.4&diff_format=u
Index: phpdoc/scripts/fix-whitespace.php
diff -u phpdoc/scripts/fix-whitespace.php:1.3 phpdoc/scripts/fix-whitespace.php:1.4
--- phpdoc/scripts/fix-whitespace.php:1.3 Sat Jan 13 16:46:14 2007
+++ phpdoc/scripts/fix-whitespace.php Mon Jan 15 01:56:30 2007
@@ -17,7 +17,7 @@
| Etienne Kneuss <colder@php.net> |
+----------------------------------------------------------------------+
- $Id: fix-whitespace.php,v 1.3 2007/01/13 16:46:14 didou Exp $
+ $Id: fix-whitespace.php,v 1.4 2007/01/15 01:56:30 didou Exp $
*/
if (PHP_SAPI !== 'cli') {
@@ -103,7 +103,7 @@
}
// remove front spaces
- if (preg_match('#^([ ]+)<refentry id="function.#', $line,
$match)) {
+ if (preg_match('#^([ ]+)<refentry id=(?:"|\')function.#',
$line, $match)) {
$states['front_spaces'] = strlen($match[1]);
if ($states['front_spaces'] !== 2) {