diff options
| author | umherirrender <umherirrender_de.wp@web.de> | 2014-07-24 11:30:25 +0200 |
|---|---|---|
| committer | umherirrender <umherirrender_de.wp@web.de> | 2014-07-24 11:30:25 +0200 |
| commit | 7ff005407edfb632b9683bae15745e237cd0e370 (patch) | |
| tree | 48eeff73aeac96092b18ece0bb18ab184f27a543 /includes/specials/SpecialRunJobs.php | |
| parent | d1d6cb7bc3a134cfd153ed7eb9fcdafa5c1fd193 (diff) | |
| download | mediawikicore-7ff005407edfb632b9683bae15745e237cd0e370.tar.gz mediawikicore-7ff005407edfb632b9683bae15745e237cd0e370.zip | |
Remove colon after @deprecated/@param/@todo/@note
Change-Id: I4e66dad85eecf7e8e03ac760af900395e1bc11b6
Diffstat (limited to 'includes/specials/SpecialRunJobs.php')
| -rw-r--r-- | includes/specials/SpecialRunJobs.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/specials/SpecialRunJobs.php b/includes/specials/SpecialRunJobs.php index 4c8c8f308108..b97729241223 100644 --- a/includes/specials/SpecialRunJobs.php +++ b/includes/specials/SpecialRunJobs.php @@ -104,7 +104,7 @@ class SpecialRunJobs extends UnlistedSpecialPage { /** * Run jobs from the job queue * - * @note: also called from Wiki.php + * @note also called from Wiki.php * * @param int $maxJobs Maximum number of jobs to run * @return void |