Manuel:DoubleRedirectJob.php
| Fichier MediaWiki : DoubleRedirectJob.php | |
|---|---|
| Emplacement : | includes/jobqueue/jobs/ |
| Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes : | DoubleRedirectJob |
Détails
La tâche DoubleRedirectJob.php consiste en corriger les doubles redirections après avoir déplacé une page.