1
0
mirror of https://github.com/e107inc/e107.git synced 2025-08-01 20:30:39 +02:00

Add function plugInstalled($plugname) to make it simpler to check

This commit is contained in:
e107steved
2008-10-07 21:29:25 +00:00
parent de0d76fca1
commit 41b4ebf37f

View File

@@ -11,9 +11,9 @@
| GNU General Public License (http://gnu.org). | GNU General Public License (http://gnu.org).
| |
| $Source: /cvs_backup/e107_0.8/class2.php,v $ | $Source: /cvs_backup/e107_0.8/class2.php,v $
| $Revision: 1.65 $ | $Revision: 1.66 $
| $Date: 2008-08-14 13:18:26 $ | $Date: 2008-10-07 21:29:25 $
| $Author: secretr $ | $Author: e107steved $
+----------------------------------------------------------------------------+ +----------------------------------------------------------------------------+
*/ */
// //
@@ -1783,6 +1783,17 @@ function e107_ini_set($var, $value){
} }
} }
// Return TRUE if specified plugin installed, FALSE if not
function plugInstalled($plugname)
{
global $pref;
if (!isset($pref['plug_installed'][$plugname])) return FALSE;
// Could add more checks here later if appropriate
return TRUE;
}
function echo_gzipped_page() { function echo_gzipped_page() {
if( headers_sent() ){ if( headers_sent() ){