add pre and prettify button in wordpress post editor