Rev 33 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 33 | Rev 59 | ||
---|---|---|---|
Line 22... | Line 22... | ||
22 | } |
22 | } |
23 | 23 | ||
24 | for ($i=1; $i<$argc; $i++) { |
24 | for ($i=1; $i<$argc; $i++) { |
25 | $file = $argv[$i]; |
25 | $file = $argv[$i]; |
26 | 26 | ||
- | 27 | if (is_dir($file)) continue; |
|
27 | $cont = file_get_contents($file); |
28 | $cont = file_get_contents($file); |
28 | $original = $cont; |
29 | $original = $cont; |
29 | 30 | ||
30 | if (strpos($cont, '<?php') === false) { |
31 | if (strpos($cont, '<?php') === false) { |
31 | echo "Not a PHP file: $file\n"; |
32 | echo "Not a PHP file: $file\n"; |