Just asking: does this work in php 5.3?