PHP | Difference between isset() and __isset()