Removed marking of developer extension

diff --git a/inc/extensions/ext-booking.php b/inc/extensions/ext-booking.php
index ba0a3f21da1bbc925afdb545e12b2d74f207b240..c31b3ced8e4a5cb68c7e484b7c4ceac69da288f0 100644 (file)
--- 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