Shouldn’t PHP report a more appropriate error message?