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_chm_builder_fix.patch | |
| parent | b833247ce597ec26159b46c8dfbea7f1e265950b (diff) | |
Merge up to r3319
Diffstat (limited to 'buildscripts/PhpDocumentor/prado_patch_chm_builder_fix.patch')
| -rw-r--r-- | buildscripts/PhpDocumentor/prado_patch_chm_builder_fix.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/buildscripts/PhpDocumentor/prado_patch_chm_builder_fix.patch b/buildscripts/PhpDocumentor/prado_patch_chm_builder_fix.patch deleted file mode 100644 index 4889d501..00000000 --- a/buildscripts/PhpDocumentor/prado_patch_chm_builder_fix.patch +++ /dev/null @@ -1,13 +0,0 @@ -Index: phpDocumentor/Converters/CHM/default/CHMdefaultConverter.inc -=================================================================== ---- phpDocumentor/Converters/CHM/default/CHMdefaultConverter.inc (revisione 3068) -+++ phpDocumentor/Converters/CHM/default/CHMdefaultConverter.inc (copia locale) -@@ -560,7 +560,7 @@ - */ - function returnSee(&$element, $eltext = false, $with_a = true) - { -- if (!$element) return false; -+ if (!is_object($element) || !$element) return false; - if (!$with_a) return $this->getId($element, false); - if (!$eltext) - { |