PHP 7 on CentOS: Install instructions are updated - review needed

Dear Redhat/CentOS users,

there is a new writeup of the installation process for php 5.6 and php 7.0 on CentOS 7.0:

However, it has not been merged into the official documentation yet, because no one tested it. Ideally you need to install php 5.6 or php 7.0 on your CentOS 7.0 and you can just follow the steps provided by this documentation. If it works, you can just notify us on github, that it worked for you.

Or if someone with some CentOS experience can double-check if the commands work like this and the paths are correct. It would be nice to get this merged soon.

Thanks for helping out

The pull request was finally merged.