rename php markdown so it registers with markdown module