Cleaning version.php