5 $files = array('index.php','boot.php');
6 $files = array_merge($files,glob('mod/*'),glob('include/*'));
9 foreach($files as $file) {
10 $str = file_get_contents($file);
12 $pat = '| t\(([^\)]*)\)|';
14 preg_match_all($pat,$str,$matches);
19 foreach($matches[1] as $match) {
20 if(! in_array($match,$arr))
28 if(substr($a,0,1) == '$')
31 $s .= '$a->strings[' . $a . '] = ' . $a . ';' . "\n";
34 $zones = timezone_identifiers_list();
35 foreach($zones as $zone)
36 $s .= '$a->strings[\'' . $zone . '\'] = \'' . $zone . '\';' . "\n";