Update php-getter-setter.py