Welche PHP-Version verwendest Du?
Es gab jemanden, der von PHP 5.3 auf PHP 7 umgestellt hat, danach war das Problem seiner Aussage nach verschwunden. Ein anderer sprach das Thema Cache an.
Deine Frage ist ziemlich selbstbeantwortend, die wichtigere Frage ist jedoch, woran es gelegen hat. Wie kann man es in Zukunft verhindern.
Wenn Du die originale Datei zurückkopierst, alle Caches löscht, und danach der Fehler wieder auftritt, haben wir den Cache schon einmal abgehakt.
Wenn danach eine Umstellung auf PHP 7 hilft, sind wir wieder schlauer.
Wenn Du Lust hast, probier es doch aus, dann können wir den Entwicklern einen vernünftigen Test präsentieren und mit Glück ergeben sich Erkenntnisse fürs nächste Mal.
Grüße
Stefan