Completed codesnippet.setHighlighter docs with missing information. Fixes #12753.