com web/php: Fix undefined notice using older phd: include/shared-manual.inc

[email protected] (Hannes Magnusson) Tue, 24 Mar 2015 17:40:10 +0000

Newsgroups	php.webmaster
Message-ID	<[email protected]>

Commit:    20930ba377b5da96aabdd360262976af5370e6b0
Author:    Hannes Magnusson <[email protected]>         Tue, 24 Mar 2015 10:40:10 -0700
Parents:   b1311340f522970613798506137baae35a14eef9
Branches:  master

Link:       http://git.php.net/?p=web/php.git;a=commitdiff;h=20930ba377b5da96aabdd360262976af5370e6b0

Log:
Fix undefined notice using older phd

Changed paths:
  M  include/shared-manual.inc


Diff:
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 69021b1..9d330f6 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -389,6 +389,9 @@ function manual_setup($setup) {
     //TODO: get rid of this hack to get the related items into manual_footer
     global $__RELATED; 
 
+    if (!isset($setup["toc_deprecated"])) {
+        $setup["toc_deprecated"] = array();
+    }
     $PGI = $setup;
     // Set base href for this manual page
     $base = 'manual/' . language_convert($setup['head'][1]) . "/";