change php regular exp: use html exp