Index: trunk/extensions/Push/Push_Settings.php |
— | — | @@ -28,5 +28,9 @@ |
29 | 29 | $egPushShowTab = false; |
30 | 30 | $egPushIncTemplates = false; |
31 | 31 | |
| 32 | +$egPushAllowLogin = true; |
| 33 | +$egPushLodignUser = ''; |
| 34 | +$egPushLodignPass = ''; |
| 35 | + |
32 | 36 | $egPushBulkWorkers = 3; |
33 | 37 | $egPushBatchSize = 3; |
Index: trunk/extensions/Push/RELEASE-NOTES |
— | — | @@ -7,6 +7,7 @@ |
8 | 8 | === Version 0.4 === |
9 | 9 | 2010-12-xx |
10 | 10 | |
| 11 | +* Added option to include templates used on the page to the push to the tab interface. |
11 | 12 | * Added adittional info about target pages to the tab interface. |
12 | 13 | |
13 | 14 | === Version 0.3 === |
Index: trunk/extensions/Push/includes/ext.push.tab.js |
— | — | @@ -31,7 +31,7 @@ |
32 | 32 | this.disabled = true; |
33 | 33 | this.innerHTML = mediaWiki.msg( 'push-button-pushing' ); |
34 | 34 | |
35 | | - if ( $('#checkIncTemplates:checked').val() !== null ) { |
| 35 | + if ( $('#checkIncTemplates:checked').attr('checked') ) { |
36 | 36 | var pages = window.wgPushTemplates; |
37 | 37 | pages.unshift( $('#pageName').attr('value') ); |
38 | 38 | } |
— | — | @@ -128,7 +128,7 @@ |
129 | 129 | setTimeout( function() {reEnableButton( sender );}, 1000 ); |
130 | 130 | } |
131 | 131 | } |
132 | | - ); |
| 132 | + ); |
133 | 133 | } |
134 | 134 | |
135 | 135 | function reEnableButton( button ) { |