From a74f3172ce3aee358b460e6c3eb7f4c84180f0bc Mon Sep 17 00:00:00 2001 From: =?utf8?q?Roland=20H=C3=A4der?= Date: Sun, 21 Oct 2012 11:53:02 +0000 Subject: [PATCH] Removed marking of developer extension --- inc/extensions/ext-booking.php | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/inc/extensions/ext-booking.php b/inc/extensions/ext-booking.php index ba0a3f21da..c31b3ced8e 100644 --- a/inc/extensions/ext-booking.php +++ b/inc/extensions/ext-booking.php @@ -46,9 +46,7 @@ setThisExtensionVersion('0.0.0'); // Version history array (add more with , '0.0.1' and so on) setExtensionVersionHistory(array('0.0.0')); -// This extension is in development (non-productive) -enableExtensionProductive(FALSE); - +// Check extension load-mode switch (getExtensionMode()) { case 'register': // Do stuff when installation is running // Configuration entries -- 2.39.5