diff -r 34716fd837a4 -r be944660c56a wp/wp-admin/theme-editor.php --- a/wp/wp-admin/theme-editor.php Tue Dec 15 15:52:01 2020 +0100 +++ b/wp/wp-admin/theme-editor.php Wed Sep 21 18:19:35 2022 +0200 @@ -222,7 +222,7 @@
- +