diff options
author | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:56:48 +0200 |
---|---|---|
committer | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:57:07 +0200 |
commit | 3069eaf35e833ffe4a1c1c7829dd7e168ae27420 (patch) | |
tree | d0c2e4d934cc34ba7d4232f759923b5a257dcb21 /buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch | |
parent | b833247ce597ec26159b46c8dfbea7f1e265950b (diff) |
Merge up to r3319
Diffstat (limited to 'buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch')
-rw-r--r-- | buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch b/buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch deleted file mode 100644 index 8fa78de8..00000000 --- a/buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch +++ /dev/null @@ -1,31 +0,0 @@ -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 - { |