yannick Mon Aug 29 18:11:35 2005 EDT
Modified files:
/phpdoc/scripts revcheck.php
Log:
add extensions.xml to ignore list
http://cvs.php.net/diff.php/phpdoc/scripts/revcheck.php?r1=1.52&r2=1.53&ty=u
Index: phpdoc/scripts/revcheck.php
diff -u phpdoc/scripts/revcheck.php:1.52 phpdoc/scripts/revcheck.php:1.53
--- phpdoc/scripts/revcheck.php:1.52 Tue Jul 12 15:51:32 2005
+++ phpdoc/scripts/revcheck.php Mon Aug 29 18:11:33 2005
@@ -327,6 +327,7 @@
// <lang>/reference/ tree, skip the file
if (
$file == "rsusi.txt"
+ || $file == "extensions.xml"
|| $file == "README"
|| $file == "contributors.xml"
|| $file == "contributors.ent"
