Ticket #13856: update-permalinks-for-non-js.diff

wp-admin/options-permalink.php

@@ -98 +98 @@
         check_admin_referer('update-permalink');
 
         if ( isset( $_POST['permalink_structure'] ) ) {
-                $permalink_structure = $_POST['permalink_structure'];
+                if ( isset( $_POST['selection'] ) && 'custom' != $_POST['selection'] )
+                        $permalink_structure = $_POST['selection'];
+                else
+                        $permalink_structure = $_POST['permalink_structure'];
+
                 if ( ! empty( $permalink_structure ) ) {
                         $permalink_structure = preg_replace( '#/+#', '/', '/' . str_replace( '#', '', $permalink_structure ) );
                         if ( $prefix && $blog_prefix )