Update of PHP and Jenkins config.