An error can happen here, when error_report.js is not loaded (if error reporting is deactivated)