PHP markdown extension