| Index: trunk/extensions/ReplaceText/SpecialReplaceText.php |
| — | — | @@ -193,6 +193,10 @@ |
| 194 | 194 | } |
| 195 | 195 | if ($num_modified_pages == 0) { |
| 196 | 196 | $wgOut->addHTML(wfMsg('replacetext_noreplacement', $target_str)); |
| | 197 | + // link back to starting form |
| | 198 | + $rt_title = Title::makeTitleSafe( NS_SPECIAL, 'ReplaceText' ); |
| | 199 | + $sk = $wgUser->getSkin(); |
| | 200 | + $wgOut->addHTML( '<p>' . $sk->makeKnownLinkObj( $rt_title, wfMsg( 'replacetext_return' ) ) . '</p>' ); |
| 197 | 201 | } else { |
| 198 | 202 | $javascript_text =<<<END |
| 199 | 203 | <script type="text/javascript"> |