getset PHP snippet