diff options
author | ctrlaltca@gmail.com <> | 2011-11-19 13:43:01 +0000 |
---|---|---|
committer | ctrlaltca@gmail.com <> | 2011-11-19 13:43:01 +0000 |
commit | 3996193250a6be5e4699048618452f4ca35578b6 (patch) | |
tree | a65b2ce0e5ddb1d2a6e559213dfcd74f955070f3 /buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch | |
parent | 98dbe6f0d2edfff3a1f5785504504b4a6e5dd4eb (diff) |
updating phpDocumentor, part 3: patched to mantain "dot" as a namespace separator in @package
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, 31 insertions, 0 deletions
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 + { |