https://sangkrit.net/wordpress-theme-plugin-code-editor-for-developers/