| Index: trunk/extensions/ReplaceText/ReplaceTextJob.php |
| — | — | @@ -35,6 +35,10 @@ |
| 36 | 36 | $reason = $this->params['edit_summary']; |
| 37 | 37 | $create_redirect = $this->params['create_redirect']; |
| 38 | 38 | $this->title->moveTo( $new_title, true, $reason, $create_redirect ); |
| | 39 | + if ($this->params['watch_page']) { |
| | 40 | + $article = new Article($new_title); |
| | 41 | + $article->doWatch(); |
| | 42 | + } |
| 39 | 43 | $wgUser = $actual_user; |
| 40 | 44 | } else { |
| 41 | 45 | $article = new Article( $this->title ); |