Index: trunk/extensions/Configure/SpecialExtensions.php |
— | — | @@ -31,8 +31,10 @@ |
32 | 32 | $new = $this->removeDefaults( $new ); |
33 | 33 | $new['__includes'] = $this->getRequiredFiles(); |
34 | 34 | $ok = $wgConf->saveNewSettings( $new, $this->mWiki, $reason ); |
| 35 | + |
| 36 | + $result = $ok ? 'success' : 'failure'; |
35 | 37 | |
36 | | - $url = $this->getTitle()->getLocalURL( 'result=success' ); |
| 38 | + $url = $this->getTitle()->getLocalURL( "result=$result" ); |
37 | 39 | $wgOut->redirect( $url ); |
38 | 40 | } |
39 | 41 | |
Index: trunk/extensions/Configure/Configure.js |
— | — | @@ -646,6 +646,7 @@ |
647 | 647 | r = table.getElementsByTagName( 'tr' ).length; |
648 | 648 | startName = 'wp' + table.id; |
649 | 649 | var groupname = prompt( wgConfigurePromptGroup ); |
| 650 | + var tbody = table.getElementsByTagName( 'tbody' )[0]; |
650 | 651 | if( groupname == null ) |
651 | 652 | return; |
652 | 653 | |
— | — | @@ -680,7 +681,7 @@ |
681 | 682 | tr.appendChild( td1 ); |
682 | 683 | tr.appendChild( td2 ); |
683 | 684 | tr.appendChild( td3 ); |
684 | | - table.appendChild( tr ); |
| 685 | + tbody.appendChild( tr ); |
685 | 686 | } |
686 | 687 | |
687 | 688 | /** |
— | — | @@ -692,7 +693,8 @@ |
693 | 694 | function removeGroupBoolRow( table, r ){ |
694 | 695 | var trs = table.getElementsByTagName( 'tr' ); |
695 | 696 | var tr = trs[r]; |
696 | | - table.removeChild( tr ); |
| 697 | + var tbody = table.getElementsByTagName( 'tbody' )[0]; |
| 698 | + tbody.removeChild( tr ); |
697 | 699 | } |
698 | 700 | |
699 | 701 | /** |
Index: trunk/extensions/Configure/SpecialConfigure.php |
— | — | @@ -29,8 +29,9 @@ |
30 | 30 | if ( $wgConfigureUpdateCacheEpoch ) |
31 | 31 | $settings['wgCacheEpoch'] = max( $settings['wgCacheEpoch'], wfTimestampNow() ); |
32 | 32 | $ok = $wgConf->saveNewSettings( $settings, $this->mWiki, $reason ); |
| 33 | + $result = $ok ? 'success' : 'failure'; |
33 | 34 | |
34 | | - $url = $this->getTitle()->getLocalURL( 'result=success' ); |
| 35 | + $url = $this->getTitle()->getLocalURL( "result=$result" ); |
35 | 36 | $wgOut->redirect( $url ); |
36 | 37 | } |
37 | 38 | |