Fatal PHP Error out of the blue sky

Me too! I noticed this is something not new here: Error in override.php (not my file)