Ticket #3011: 3011.diff

wp-admin/theme-editor.php

@@ -19 +19 @@
         wp_die(__('The requested theme does not exist.'));
 
 $allowed_files = array_merge($themes[$theme]['Stylesheet Files'], $themes[$theme]['Template Files']);
+sort($allowed_files);
 
 if (empty($file)) {
         $file = $allowed_files[0];