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']));
}
}
