From e8da46866628a9ab176da285063996f140c2e27f Mon Sep 17 00:00:00 2001
From: David McReynolds <dave@thedaylightstudio.com>
Date: Tue, 20 Nov 2018 10:13:13 -0800
Subject: [PATCH] PHP 7.2 fix for issue #519

---
 fuel/modules/fuel/libraries/Menu.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fuel/modules/fuel/libraries/Menu.php b/fuel/modules/fuel/libraries/Menu.php
index a22816ae5..1a6e7549b 100644
--- a/fuel/modules/fuel/libraries/Menu.php
+++ b/fuel/modules/fuel/libraries/Menu.php
@@ -447,7 +447,7 @@ protected function _render_basic($menu, $level = -1)
 				if (!empty($this->container_tag_id) AND $level == -1) $str .= " id=\"".$this->container_tag_id."\"";
 				if (!empty($container_class)) $str .= " class=\"".$container_class."\"";
 				if (!empty($this->container_tag)) $str .= ">\n";
-				$active_index = (count($this->_active_items) -1) - $level;
+				$active_index = (count((array)$this->_active_items) -1) - $level;
 				$level = $level + 1;
 				$i = 0;