Separate names with a comma.
And.. Just to make sure, PHP 7.0.7 is fine? I assume that's the latest stable.