diff options
Diffstat (limited to 'buildscripts')
-rwxr-xr-x | buildscripts/PhpDocumentor/phpDocumentor/ParserDocBlock.inc | 6 | ||||
-rw-r--r-- | buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch | 31 |
2 files changed, 34 insertions, 3 deletions
diff --git a/buildscripts/PhpDocumentor/phpDocumentor/ParserDocBlock.inc b/buildscripts/PhpDocumentor/phpDocumentor/ParserDocBlock.inc index 2e29caeb..15eb7602 100755 --- a/buildscripts/PhpDocumentor/phpDocumentor/ParserDocBlock.inc +++ b/buildscripts/PhpDocumentor/phpDocumentor/ParserDocBlock.inc @@ -752,7 +752,7 @@ class parserDocBlock $rest = implode($rest,"\t"); } else $value = trim($value[0]); } - $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\x7f-\xff]/', '-', $value); + $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\.\x7f-\xff]/', '-', $value); $this->packagedescrip = $this->package = trim($value); if (!empty($rest)) $this->packagedescrip = $rest; } else @@ -789,7 +789,7 @@ class parserDocBlock } if (!empty($value)) { - $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\x7f-\xff]/', '-', $value); + $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\.\x7f-\xff]/', '-', $value); } $this->subpackage = trim($value); if (!empty($rest)) $this->subpackagedescrip = $rest; @@ -806,7 +806,7 @@ class parserDocBlock { if (!is_string($value)) $value = $value->getString(); - $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\x7f-\xff]/', '-', $value); + $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\.\x7f-\xff]/', '-', $value); $this->category = $value; } else { diff --git a/buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch b/buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch new file mode 100644 index 00000000..8fa78de8 --- /dev/null +++ b/buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch @@ -0,0 +1,31 @@ +Index: phpDocumentor/ParserDocBlock.inc +=================================================================== +--- phpDocumentor/ParserDocBlock.inc (revisione 3068) ++++ phpDocumentor/ParserDocBlock.inc (copia locale) +@@ -752,7 +752,7 @@ + $rest = implode($rest,"\t"); + } else $value = trim($value[0]); + } +- $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\x7f-\xff]/', '-', $value); ++ $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\.\x7f-\xff]/', '-', $value); + $this->packagedescrip = $this->package = trim($value); + if (!empty($rest)) $this->packagedescrip = $rest; + } else +@@ -789,7 +789,7 @@ + } + if (!empty($value)) + { +- $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\x7f-\xff]/', '-', $value); ++ $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\.\x7f-\xff]/', '-', $value); + } + $this->subpackage = trim($value); + if (!empty($rest)) $this->subpackagedescrip = $rest; +@@ -806,7 +806,7 @@ + { + if (!is_string($value)) + $value = $value->getString(); +- $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\x7f-\xff]/', '-', $value); ++ $value = preg_replace('/[^\[\]0-9\-a-zA-Z_\.\x7f-\xff]/', '-', $value); + $this->category = $value; + } else + { |