I'm aware that I can install any version of PHP using the answer here: How do I install different (upgrade or downgrade) PHP version in still supported Ubuntu release?
I'm running an Ubuntu 16.04 LTS server and am not in a hurry to upgrade, but was unable to find anything about the official timeline for when PHP 7.1 would be available in an official repository.