formatting
authorgggeek <giunta.gaetano@gmail.com>
Thu, 22 Dec 2022 11:02:24 +0000 (11:02 +0000)
committergggeek <giunta.gaetano@gmail.com>
Thu, 22 Dec 2022 11:02:24 +0000 (11:02 +0000)
doc/build/convert.php

index 16aa9a7..c3661b1 100644 (file)
@@ -54,8 +54,7 @@ if (version_compare(PHP_VERSION, '5.4', "<")) {
         $processor->setSecurityPreferences(XSL_SECPREF_CREATE_DIRECTORY | XSL_SECPREF_WRITE_FILE);
     }
 }
-if (is_dir($target))
-{
+if (is_dir($target)) {
     if (!$processor->setParameter('', 'base.dir', $target)) {
         error("KO setting param base.dir");
     }
@@ -91,7 +90,7 @@ function info($msg)
     echo "$msg\n";
 }
 
-function error($msg, $errcode=1)
+function error($msg, $errcode = 1)
 {
     fwrite(STDERR, "$msg\n");
     exit($errcode);