dsl for writing php