01: update available PHP versions