A DSON decoder / decoder in PHP