Templatizing the php53 dev config file, though it should really be merged.