https://sangkrit.net/how-you-can-hide-theme-editor-from-wordpress-dashboard/