EDN to PHP