[php] Catching multiple exception types in one catch block