com web/php: Fix undefined notice using older phd: include/shared-manual.inc
| From: | Hannes Magnusson | Date: | Tue, 24 Mar 2015 17:40:10 +0000 |
| Subject: | com web/php: Fix undefined notice using older phd: include/shared-manual.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-20952@lists.php.net to get a copy of this message | ||
Commit: 20930ba377b5da96aabdd360262976af5370e6b0
Author: Hannes Magnusson <bjori@php.net> 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]) . "/";