} // END - if
// Version number
-setThisExtensionVersion('0.0');
+setThisExtensionVersion('0.0.0');
-// Version history array (add more with , '0.1.0' and so on)
-setExtensionVersionHistory(array('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);