summaryrefslogtreecommitdiff
path: root/buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch
diff options
context:
space:
mode:
authorctrlaltca@gmail.com <>2011-11-19 13:43:01 +0000
committerctrlaltca@gmail.com <>2011-11-19 13:43:01 +0000
commit3996193250a6be5e4699048618452f4ca35578b6 (patch)
treea65b2ce0e5ddb1d2a6e559213dfcd74f955070f3 /buildscripts/PhpDocumentor/prado_patch_dot_in_package_name.patch
parent98dbe6f0d2edfff3a1f5785504504b4a6e5dd4eb (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.patch31
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
+ {