Debian Stretch will come with php7 only. Am I right assuming that Phabricator won't run under Debian 9?