From 07071a169b4e6c93140c08ecb75a8842323aa82d Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Mon, 27 Jul 2015 10:14:22 -0400
Subject: [PATCH] Make phan happy

Signed-off-by: Marc Delisle <marc@infomarc.info>
---
 libraries/navigation/NavigationTree.class.php | 24 +++++++++----------
 libraries/navigation/Nodes/Node.class.php     |  2 +-
 2 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/libraries/navigation/NavigationTree.class.php b/libraries/navigation/NavigationTree.class.php
index 95ba417d8b..9289a951ca 100644
--- a/libraries/navigation/NavigationTree.class.php
+++ b/libraries/navigation/NavigationTree.class.php
@@ -42,28 +42,28 @@ class PMA_NavigationTree
     private $_pos;
 
     /**
-     * @var int The names of the type of items that are being paginated on
-     *          the second level of the navigation tree. These may be
-     *          tables, views, functions, procedures or events.
+     * @var array The names of the type of items that are being paginated on
+     *            the second level of the navigation tree. These may be
+     *            tables, views, functions, procedures or events.
      */
     private $_pos2_name = array();
 
     /**
-     * @var int The positions of nodes in the lists of tables, views,
-     *          routines or events used for pagination
+     * @var array The positions of nodes in the lists of tables, views,
+     *            routines or events used for pagination
      */
     private $_pos2_value = array();
 
     /**
-     * @var int The names of the type of items that are being paginated
-     *          on the second level of the navigation tree.
-     *          These may be columns or indexes
+     * @var array The names of the type of items that are being paginated
+     *            on the second level of the navigation tree.
+     *            These may be columns or indexes
      */
     private $_pos3_name = array();
 
     /**
-     * @var int The positions of nodes in the lists of columns or indexes
-     *          used for pagination
+     * @var array The positions of nodes in the lists of columns or indexes
+     *            used for pagination
      */
     private $_pos3_value = array();
 
@@ -82,8 +82,8 @@ class PMA_NavigationTree
     private $_searchClause2 = '';
 
     /**
-     * @var string Whether a warning was raised for large item groups
-     *             which can affect performance.
+     * @var bool Whether a warning was raised for large item groups
+     *           which can affect performance.
      */
     private $_largeGroupWarning = false;
 
diff --git a/libraries/navigation/Nodes/Node.class.php b/libraries/navigation/Nodes/Node.class.php
index 244e203b2f..f16eed8194 100644
--- a/libraries/navigation/Nodes/Node.class.php
+++ b/libraries/navigation/Nodes/Node.class.php
@@ -101,7 +101,7 @@ class Node
     public $classes = '';
 
     /**
-     * @var string Whether this node is a link for creating new objects
+     * @var bool Whether this node is a link for creating new objects
      */
     public $isNew = false;