PHP’s empty and isset function