From 4d9e451f6037924329336ae3b01990fc7ef5828b Mon Sep 17 00:00:00 2001
From: Tristan Darricau <github@nicofuma.fr>
Date: Fri, 27 Jun 2014 11:23:11 +0200
Subject: [PATCH] [ticket/12777] Update doc block of is_configured()

PHPBB3-12777
---
 phpBB/phpbb/extension/manager.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/phpBB/phpbb/extension/manager.php b/phpBB/phpbb/extension/manager.php
index 580960ca01..95496926eb 100644
--- a/phpBB/phpbb/extension/manager.php
+++ b/phpBB/phpbb/extension/manager.php
@@ -545,9 +545,11 @@ class manager
 	/**
 	* Check to see if a given extension is configured
 	*
+	* All enabled and disabled extensions are considered configured. A purged
+	* extension that is no longer in the database is not configured.
+	*
 	* @param string $name Extension name to check
 	* @return bool Depending on whether or not the extension is configured
-	* @see all_configured()
 	*/
 	public function is_configured($name)
 	{