| Index: trunk/extensions/ReplaceText/SpecialReplaceText.php |
| — | — | @@ -82,6 +82,10 @@ |
| 83 | 83 | Job::batchInsert( $jobs ); |
| 84 | 84 | $num_modified_pages = count($jobs); |
| 85 | 85 | $wgOut->addHTML( wfMsgExt( 'replacetext_success', array( 'escape', 'parsemag' ), $target_str, $replacement_str, $num_modified_pages) ); |
| | 86 | + // link back to starting form |
| | 87 | + $rt_title = Title::makeTitleSafe( NS_SPECIAL, 'ReplaceText' ); |
| | 88 | + $sk = $wgUser->getSkin(); |
| | 89 | + $wgOut->addHTML( '<p>' . $sk->makeKnownLinkObj( $rt_title, wfMsg( 'replacetext_return' ) ) . '</p>' ); |
| 86 | 90 | } elseif ( $wgRequest->getCheck('target_str') ) { // very long elseif, look for "end elseif" |
| 87 | 91 | $dbr =& wfGetDB( DB_SLAVE ); |
| 88 | 92 | $fname = 'doSpecialReplaceText'; |