diff --git a/versioncheck.php b/versioncheck.php deleted file mode 100755 index 983ab03c9..000000000 --- a/versioncheck.php +++ /dev/null @@ -1,53 +0,0 @@ -#!/usr/bin/env php - $cur_major) { - echo("New major release : $major.$minor.$release"); - } elseif ($major == $cur_major && $minor > $cur_minor) { - echo("New minor release : $major.$minor.$release"); - } elseif ($major == $cur_major && $minor == $cur_minor && $release > $cur_release) { - echo("New trivial release : $major.$minor.$release"); - } elseif ($major < $cur_major || ($major == $cur_major && $minor < $cur_minor) || ($major == $cur_major && $minor == $cur_minor && $release < $cur_release)) { - echo("Your release is newer than the official version!\n"); - } else { - echo("Your release is up to date\n"); - } - echo("\n"); - } - } - fclose($dataHandle); -} - -?>