| Index: trunk/phase3/includes/Article.php |
| — | — | @@ -2303,11 +2303,13 @@ |
| 2304 | 2304 | * Output a redirect back to the article. |
| 2305 | 2305 | * This is typically used after an edit. |
| 2306 | 2306 | * |
| | 2307 | + * @deprecated in 1.19; call $wgOut->redirect() directly |
| 2307 | 2308 | * @param $noRedir Boolean: add redirect=no |
| 2308 | 2309 | * @param $sectionAnchor String: section to redirect to, including "#" |
| 2309 | 2310 | * @param $extraQuery String: extra query params |
| 2310 | 2311 | */ |
| 2311 | 2312 | public function doRedirect( $noRedir = false, $sectionAnchor = '', $extraQuery = '' ) { |
| | 2313 | + wfDeprecated( __METHOD__ ); |
| 2312 | 2314 | global $wgOut; |
| 2313 | 2315 | |
| 2314 | 2316 | if ( $noRedir ) { |