web: fix for PHP7.