8d6e087c2ebea4559f889052f6c0ccd050a0ffc3
4 $versions = json_decode(stream_get_contents(STDIN
), 1);
6 list($major) = explode(".", $version, 2);
8 if (isset($versions[$major][$version])) {
9 printf("%s\n", $versions[$major][$version]["version"]);
11 printf("%s\n", $version);