diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2010-07-28 11:52:48 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2010-07-28 11:52:48 +0200 |
commit | 222b01f5169f1c7e69762e0e8904c24f78f71882 (patch) | |
tree | 8e932e12546bb991357ec48eb1638d1770be7a35 /includes/DoubleRedirectJob.php | |
parent | 00ab76a6b686e98a914afc1975812d2b1aaa7016 (diff) |
update to MediaWiki 1.16.0
Diffstat (limited to 'includes/DoubleRedirectJob.php')
-rw-r--r-- | includes/DoubleRedirectJob.php | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/includes/DoubleRedirectJob.php b/includes/DoubleRedirectJob.php index 889beecf..0857408a 100644 --- a/includes/DoubleRedirectJob.php +++ b/includes/DoubleRedirectJob.php @@ -1,13 +1,19 @@ <?php +/** + * Job to fix double redirects after moving a page + * + * @ingroup JobQueue + */ class DoubleRedirectJob extends Job { var $reason, $redirTitle, $destTitleText; static $user; /** * Insert jobs into the job queue to fix redirects to the given title - * @param string $type The reason for the fix, see message double-redirect-fixed-<reason> - * @param Title $redirTitle The title which has changed, redirects pointing to this title are fixed + * @param $reason String: the reason for the fix, see message double-redirect-fixed-<reason> + * @param $redirTitle Title: the title which has changed, redirects pointing to this title are fixed + * @param $destTitle Not used */ public static function fixRedirects( $reason, $redirTitle, $destTitle = false ) { # Need to use the master to get the redirect table updated in the same transaction @@ -116,7 +122,7 @@ class DoubleRedirectJob extends Job { /** * Get the final destination of a redirect - * Returns false if the specified title is not a redirect, or if it is a circular redirect + * @return false if the specified title is not a redirect, or if it is a circular redirect */ public static function getFinalDestination( $title ) { $dbw = wfGetDB( DB_MASTER ); |