PHP : Error handling: empty catch block