function processDirectory($src, $dst) { echo "Processing directory: {$src} -> {$dst}\n"; $dir = opendir($src); if ($dir === false) { echo "Could not open directory: {$src}"; return; } if (!file_exists($dst)) { mkdir($dst); } while (true) { $file = readdir($dir); if ($file === false) { break; } if ($file[0] == '.' || $file[0] == '_') { continue; } $srcFile = "{$src}/{$file}"; $dstFile = "{$dst}/{$file}"; if (!is_dir($srcFile)) { if (preg_match('/.*\\.(txt|md)/i', $file)) { convertFile($srcFile, $dstFile); } else { copy($srcFile, $dstFile); } } else { processDirectory($srcFile, $dstFile); } } }
function convertDir($dir) { foreach (glob($dir . '/*', GLOB_ONLYDIR) as $sub) { convertDir($sub); } foreach (glob($dir . '/*.php') as $filepath) { convertFile($filepath); } }
function convertFiles($lang, $filesArray) { //HTML files $sourcePath = "html/source"; $destPath = "html"; foreach ($filesArray["fileName"] as $sourceIndex => $sourceFile) { convertFile($sourceFile, $sourcePath, $destPath, $filesArray["frame"][$sourceIndex], $lang); } //Webservices $sourcePath = "html/webservices/source"; $destPath = "html/webservices"; convertFile("getPropertiesPlain.php", $sourcePath, $destPath, "loader", $lang); convertFile("getSearchResultPlain.php", $sourcePath, $destPath, "general", $lang); }
if ($geo_file_name != "" && $geo_file_name != '.' && $geo_file_name != '..') { move_uploaded_file($_FILES['geo_file']['tmp_name'], $geo_file_name) or die("Upload fehlgeschlagen!"); $error = getFileError($_FILES['geo_file']['error']); //echo $error."<br>"; } $fh = fopen($geo_file_name, 'r'); //join() -> Alais zu implode() $txt_file = implode('', file($track_path . "/" . $geo_file)); $line_number = 0; //Initialisierung des Zeilen-Zaehlers //Ermittlung des Datei-Formates: $info = pathinfo($geo_file_name); //echo "Datei-Extension: ".strtolower($info['extension'])."<BR>"; //die ausgewaehlte Trackdatei wird ueberprueft, bei Erfolg in eine kml-Datei konvertiert und der Inhalt //(Geo-Koordinaten und Zeitstempel in die geo_tmp (table13) geschrieben convertFile($sr, $data_logger, $info, $geo_file_name, $benutzername, $user_id, $timezone); //Bestimmung der verwertbaren Datensaetze: $result2 = mysql_query("SELECT * FROM {$table13} WHERE user_id = '{$user_id}'"); $line_number = mysql_num_rows($result2); switch ($ge) { case 'Los!': // Wenn Geo-Referenzierung ausgewaehlt wurde: switch ($line_number) { case '0': $hinweis1 = "Zeilen-Zahl: " . $line_number . "<BR>\n\t\tBei der ausgewählten Datei handelt es sich nicht um eine gltige Trackpunkte-Datei!"; return; default: $hinweis1 = "Die Track-Datei enthält " . $line_number . " verwertbare Trackpunkte.<BR><BR>"; //aus der temp. Tabelle wird fuer jeden Tag die Zeitspanne (der frueheste und spaeteste Zeitpunkt) ermittelt: $result4 = mysql_query("SELECT DISTINCT date FROM {$table13} WHERE user_id = '{$user_id}'"); $num4 = mysql_num_rows($result4);
<?php /** * Converts a file to make it usable in a PHAR and writes it * @usage "php utils/convert-docs.php man-src/*.txt" * * @param string $path Path to file to convert * @return void */ function convertFile($path) { $out = file_get_contents($path); // options to definition lists $out = preg_replace_callback('/\\n\\* (.+?):?\\n\\n\\t/', function ($matches) { $arg = str_replace('`', '', $matches[1]); return "\n{$arg}\n: "; }, $out); // fix indentation $out = preg_replace('/^ ([^ ]+)/m', "\t\\1", $out); $out = str_replace("\t", ' ', $out); // prepend docblock notation $out = preg_replace('/^/m', "\t * ", $out); file_put_contents($path, $out); } foreach (array_slice($argv, 1) as $arg) { convertFile($arg); }
<?php /* * Geshi language definition file to Edit Area language definition file conversion script * @author Vladislav "FractalizeR" Rastrusny * @license http://www.gnu.org/licenses/gpl.html GNU General Public License */ $iterator = new DirectoryIterator(dirname(__FILE__) . '/geshi'); foreach ($iterator as $fileObj) { if ($fileObj->isFile() and $fileObj->getPathname() != __FILE__) { file_put_contents(dirname(__FILE__) . '/geshi/reg_syntax/' . $fileObj->getBasename('.php') . '.js', convertFile($fileObj->getPathname())); } echo "Processed {$fileObj->getBasename('.php')} \r\n"; } function convertFile($fileName) { //Populate $language_data from file include_once $fileName; $jsFile = '/* This syntax highlighting file is automagically generated from geshi language definition file by _fr_geshiLangToEditAreaLang.php generator. Copyright (c) 2009 by Vladislav "FractalizeR" Rastrusny. */ '; $filename = basename($fileName, ".php"); //Writting header: $jsFile .= 'editAreaLoader.load_syntax["' . $filename . '"] = {' . "\r\n"; //COMMENT_SINGLE $jsFile .= " 'COMMENT_SINGLE' : "; if (isset($language_data['COMMENT_SINGLE'])) { $jsFile .= '{' . phpArrayToJSNameValue($language_data['COMMENT_SINGLE']) . '}';
$change = new RowChange($change0); printf("Row change of type '%s'\n", $change->modeString()); $names = new StringList(RowChange_names_get($change0)); $cond = new CellMap(RowChange_cond_get($change0)); $val = new CellMap(RowChange_val_get($change0)); for ($i = 0; $i < $names->size(); $i++) { $c = $names->get($i); if ($cond->has_key($c)) { printf(" condition: %s = %s\n", $c, $cond->get($c)->toString()); } } for ($i = 0; $i < $names->size(); $i++) { $c = $names->get($i); if ($val->has_key($c)) { printf(" value: %s -> %s\n", $c, $val->get($c)->toString()); } } } } function examineDiff($version1, $version2) { $book1 = new PolyBook(); $book1->read($version1); $book2 = new PolyBook(); $book2->read($version2); $cmp = new BookCompare(); $cmp->compare($book1, $book1, $book2, new TableDiff(), new CompareFlags()); } generateDiff("named_numbers.csv", "named_numbers_three_23.csv", "patch.diff"); convertFile("named_numbers.csv", "named_numbers.sqlite"); examineDiff("named_numbers.csv", "named_numbers_three_23.csv");
<Element Name="txt_page" Class="LabelText" Text="{{currentPage}} of {{totalPage}}"/> <Element Name="btn_next" Class="Button" CssClass="button_gray_navi next" Click="gotoPage(currentPage+1)"/> <Element Name="btn_last" Class="Button" CssClass="button_gray_navi last" Click="gotoPage(totalPage)"/>'; $listformRules[] = array('/<NavPanel>(.+)<\\/NavPanel>/s', '<NavPanel>' . $navText . '</NavPanel>'); if (is_file($argv[1])) { convertFile($argv[1]); return; } $module = $argv[1]; $moduleDir = MODULE_PATH . DIRECTORY_SEPARATOR . $module; print "To read xml files\n"; $max = 300; $count = 1; $files = glob_recursive($moduleDir . "/*.xml"); foreach ($files as $file) { convertFile($file); } function convertFile($file) { global $viewRules, $formRules, $listformRules; $content = file_get_contents($file); if (strpos($file, 'View') > 0) { echo "Converting view metadata file {$file}. \n"; foreach ($viewRules as $r) { $content = preg_replace($r[0], $r[1], $content); } file_put_contents($file, $content); if ($count++ > $max) { break; } } else {
} if ($geo_file_name != "" && $geo_file_name != '.' && $geo_file_name != '..') { move_uploaded_file($_FILES['geo_file']['tmp_name'], $geo_file_name) or die("Upload fehlgeschlagen!"); $error = getFileError($_FILES['geo_file']['error']); } $fh = fopen($geo_file_name, 'r'); //join() -> Alais zu implode() $txt_file = implode('', file($track_path . "/" . $geo_file)); $line_number = 0; //Initialisierung des Zeilen-Zaehlers //Ermittlung des Datei-Formates: $info = pathinfo($geo_file_name); //echo "Datei-Extension: ".strtolower($info['extension'])."<BR>"; //die ausgewaehlte Trackdatei wird ueberprueft, bei Erfolg in eine kml-Datei konvertiert und der Inhalt //(Geo-Koordinaten und Zeitstempel in die geo_tmp (table13) geschrieben convertFile($sr, $data_logger, $info, $geo_file_name, $uid, $timezone); //Bestimmung der verwertbaren Datensaetze: $result2 = mysql_query("SELECT * FROM {$table13} WHERE user_id = '{$uid}'"); $line_number = mysql_num_rows($result2); switch ($ge) { case 'Los!': // Wenn Geo-Referenzierung ausgewaehlt wurde: switch ($line_number) { case '0': $hinweis1 = "Zeilen-Zahl: " . $line_number . "<BR>\n\t\tBei der ausgewählten Datei handelt es sich nicht um eine gltige Trackpunkte-Datei!"; return; default: $hinweis1 = "Die Track-Datei enthält " . $line_number . " verwertbare Trackpunkte.<BR><BR>"; //aus der temp. Tabelle wird fuer jeden Tag die Zeitspanne (der frueheste und spaeteste Zeitpunkt) ermittelt: $result4 = mysql_query("SELECT DISTINCT date FROM {$table13} WHERE user_id = '{$uid}'"); $num4 = mysql_num_rows($result4);
function _grabImages($sInputFile, $sOutputFile, $iSecond = 0, $bForse = false) { $sImageFile = $sOutputFile . VC_IMAGE_EXTENSION; $sThumbFile = $sOutputFile . VC_THUMB_FILE_NAME . VC_IMAGE_EXTENSION; if (!$bForse && file_exists($sImageFile) && filesize($sImageFile) > 0) { $bResult = true; } else { $bResult = convertFile($sImageFile, _getGrabImageTmpl($sInputFile, $sImageFile, "", $iSecond)); } if (!$bResult) { return false; } if (!$bForse && file_exists($sThumbFile) && filesize($sThumbFile) > 0) { $bResult = true; } else { $bResult = convertFile($sThumbFile, _getGrabImageTmpl($sInputFile, $sThumbFile, "-s " . VC_THUMB_SIZE, $iSecond)); } return $bResult; }
printf("\n"); printf("Error: %s\n", $error); } printHelp($argv); } else { print "\n"; if (!empty($options['files'])) { foreach ($options['files'] as $k => $file) { convertFile($file, isset($options['verbose']), isset($options['quiet']), isset($options['update']), isset($options['backup']), isset($options['warnings'])); } } if (!empty($options['directories'])) { $conv = new MySQLConverterTool_Converter(); foreach ($options['directories'] as $k => $directory) { $files = $conv->getFilesOfDirectory($directory, isset($options['pattern']) ? $options['pattern'] : ''); if (empty($files)) { printSeperator(sprintf('No files found in "%s"', $directory), '*'); print "\n"; continue; } printSeperator(sprintf('Directory "%s"', $directory), '*'); print "\n"; foreach ($files as $k => $file) { convertFile($file, isset($options['verbose']), isset($options['quiet']), isset($options['update']), isset($options['backup']), isset($options['warnings']), ' '); } } } if (isset($options['snippet'])) { convertSnippet($options['snippet'], isset($options['verbose']), isset($options['quiet']), isset($options['warnings'])); } }