com web/php: fix warning until the genereated files have been updated: include/shared-manual.inc

Commit:    f206626aca2ac87a82288d7a104c71f921057d98
Author:    Hannes Magnusson <[email protected]>         Sat, 7 Mar 2015 14:25:48 -0800
Parents:   1ff0f8235ed64dc2b24a738e6293cb11469d4fe9
Branches:  master

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

Log:
fix warning until the genereated files have been updated

Changed paths:
  M  include/shared-manual.inc


Diff:
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index a579a7b..f459734 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -358,7 +358,7 @@ function manual_navigation_related(array $setup) {
 
 function manual_navigation_deprecated(array $setup) {
     $methods = array();
-    foreach($setup['toc_deprecated'] as $entry) {
+    foreach((array)$setup['toc_deprecated'] as $entry) {
         $methods[] = array(
             "title" => manual_navigation_methodname($entry[1]),
             "link"  => $entry[0],