[PHP-DOC] cvs: phpdoc /scripts/iniupdate rm-ini-files.php

[Nuno Lopes]

nlopess         Sat Mar 26 08:40:43 2005 EDT

  Added files:                 
    /phpdoc/scripts/iniupdate   rm-ini-files.php 
  Log:
  add new script to help in the debugging
  

http://cvs.php.net/co.php/phpdoc/scripts/iniupdate/rm-ini-files.php?r=1.1&p=1
Index: phpdoc/scripts/iniupdate/rm-ini-files.php
+++ phpdoc/scripts/iniupdate/rm-ini-files.php
<?php

/* this script will delete all files that can be modified by
   the ini updater. It's very usefull when debugging! */

$phpdoc_dir  = '../..';

$ini_files   = glob("$phpdoc_dir/en/reference/*/ini.xml");
$ini_files[] = "$phpdoc_dir/en/features/safe-mode.xml";
$ini_files[] = "$phpdoc_dir/en/appendices/ini.xml";

foreach ($ini_files as $file) {
    unlink($file);
    echo "Deleted $file\n";
}

?>