File: rm-ini-files.php

package info (click to toggle)
php-doc 20061001-1
  • links: PTS
  • area: non-free
  • in suites: etch, etch-m68k
  • size: 45,764 kB
  • ctags: 1,611
  • sloc: xml: 502,485; php: 7,645; cpp: 500; makefile: 297; perl: 161; sh: 141; 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));
?>