PHP 5.4 and provision script.
Update documentation.