PHP OO overloading: PHP example