latest.php


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

<?php

header("Content-Type: text/plain");

if (isset($_GET['v'])) {
    if ($_GET['v'] == "beta") {
        die(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/data/beta/release"));
    }
    if ($_GET['v'] == "eap") {
        die(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/data/eap/release"));
    }
    if ($_GET['v'] == "nightly") {
        die(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/data/nightly/release"));
    }
    if ($_GET['v'] == "stable") {
        die(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/data/stable/release"));
    }
} else {
    die();
}