Français de Belgique
Plugin Directory
Étiquette de l’extension : disable editor
Restores the “Visual Editor Options” section in user profiles.
Completely disables PHP file editing through WordPress admin.
