drop coverage; add error_log config directive to php.ini

Change-Id: I18c44f354415f07dbd1556b249332404184e685a