Hm.
Ich würde persönlich noch warten mit der Umstellung auf PHP7.x. So schafft man sich parallel evtl. weitere Fehler. Beseitige erst mal den Fehler jetzt.
Ja und nein. ;) Wenn der Fehler gerade vom PHP kommt? 7.2 ist doch recht OK, oder? Ich hab diese Fehlermeldung noch nie gehabt, deshalb tue ich mir schwer sie einzuordnen. Ich hab sie auch in google gesucht und hatte kein Ergebnis. .
Er könnte also auf PHP 7.2 wechseln und sehen, ob das was bringt und wenn nicht, wieder auf die jetzt genutzte PHP-Version zurückgehen. Ist das keine gute Idee?