| Index: trunk/extensions/UsabilityInitiative/EditToolbar/EditToolbar.js |
| — | — | @@ -890,7 +890,7 @@ |
| 891 | 891 | }, |
| 892 | 892 | cancel: function() { |
| 893 | 893 | var request = $j(this).data( 'request' ); |
| 894 | | - if ( request.abort ) |
| | 894 | + if ( request ) |
| 895 | 895 | request.abort(); |
| 896 | 896 | } |
| 897 | 897 | }); |
| Index: trunk/extensions/UsabilityInitiative/EditToolbar/EditToolbar.php |
| — | — | @@ -19,7 +19,7 @@ |
| 20 | 20 | /* Configuration */ |
| 21 | 21 | |
| 22 | 22 | // Bump the version number every time you change any of the .css/.js files |
| 23 | | -$wgEditToolbarStyleVersion = 30; |
| | 23 | +$wgEditToolbarStyleVersion = 31; |
| 24 | 24 | |
| 25 | 25 | // Set this to true to simply override the stock toolbar for everyone |
| 26 | 26 | $wgEditToolbarGlobalEnable = false; |