Add support for PHP 7.1
Reviewed by: ale, pi, martin@waschbuesch.de, franco@opnsense.org Approved by: ale