From 986906d64b4e69567584858d816b149fffe23e8b Mon Sep 17 00:00:00 2001
From: Frederic Massart <fred@moodle.com>
Date: Mon, 16 Nov 2015 19:28:06 +0800
Subject: [PATCH] MDL-52160 navigation: Really remove module settings empty
 nodes

---
 lib/navigationlib.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/navigationlib.php b/lib/navigationlib.php
index a6fb4960422..4faf0a08eb3 100644
--- a/lib/navigationlib.php
+++ b/lib/navigationlib.php
@@ -4020,8 +4020,8 @@ class settings_navigation extends navigation_node {
 
         $function($this, $modulenode);
 
-        // Remove the module node if there are no children
-        if (empty($modulenode->children)) {
+        // Remove the module node if there are no children.
+        if ($modulenode->children->count() <= 0) {
             $modulenode->remove();
         }