Ticket #20733: 20733.patch

wp-includes/class-wp-customize-manager.php

@@ -483 +483 @@
                 $bp = $b->priority;
 
                 if ( $ap == $bp )
-                        return 0;
+                        return strcmp( $a->id, $b->id );
                 return ( $ap > $bp ) ? 1 : -1;
         }