Ticket #17133: 17133.patch

src/wp-admin/js/theme-plugin-editor.js

@@ -388 +388 @@
                 editor = wp.codeEditor.initialize( $( '#newcontent' ), codeEditorSettings );
                 editor.codemirror.on( 'change', component.onChange );
 
+                editor.codemirror.setOption( 'extraKeys', {
+            'Ctrl-S': function () {
+                component.form.submit();
+            },
+            'Cmd-S': function () {
+                component.form.submit();
+            }
+        });
+
                 // Improve the editor accessibility.
                 $( editor.codemirror.display.lineDiv )
                         .attr({