From 407fe902b49019c9bd62549d12e40f7d237c6a11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20FRANCE?=
 <frederic34@users.noreply.github.com>
Date: Mon, 9 Dec 2019 16:42:57 +0100
Subject: [PATCH] missing $db for line 711

---
 htdocs/core/class/utils.class.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/core/class/utils.class.php b/htdocs/core/class/utils.class.php
index 8ce4cca7ca6..12972a89752 100644
--- a/htdocs/core/class/utils.class.php
+++ b/htdocs/core/class/utils.class.php
@@ -586,7 +586,7 @@ class Utils
 	 */
 	function generateDoc($module)
 	{
-		global $conf, $langs;
+		global $conf, $langs, $db;
 		global $dirins;
 
 		$error = 0;