}
// Version number
-$EXT_VERSION = "0.0";
-
-// Auto-set extension version
-if (empty($EXT_VER)) $EXT_VER = $EXT_VERSION;
+EXT_SET_VERSION("0.0");
// Version history array (add more with , "0.1" and so on)
-$EXT_VER_HISTORY = array("0.0");
+EXT_SET_VER_HISTORY(array("0.0"));
switch ($EXT_LOAD_MODE)
{