请问这种代码高亮的效果一般是用什么编辑器和插件实现的呢？

请问这种代码高亮的富文本一般是用什么编辑器和插件实现的呢？百度编辑器？hightLight.js？