Avoid PHP warning