File: rm-ini-files.php

package info (click to toggle)
php-doc 20081024-1
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 57,752 kB
  • ctags: 3,858
  • sloc: xml: 686,554; php: 19,446; perl: 610; cpp: 500; makefile: 336; sh: 114; awk: 28
file content (19 lines) | stat: -rwxr-xr-x 490 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
<?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";
}

echo "fetch files from CVS again...\n";
system('cvs up ' . implode(' ', $ini_files));
?>