PHP tool to convert dates in a text