Fix version number format in version.php