mediawiki-extensions-Confir.../maintenance
Umherirrender 19e6d4d902 Use Maintenance::addDescription
It is better to use a setter function than setting a property

Change-Id: I173b3f4af54cf8f6427895e1e170ec97e10d4f3d
2019-08-19 19:03:36 +02:00
..
CountFancyCaptchas.php Use Maintenance::addDescription 2019-08-19 19:03:36 +02:00
DeleteOldFancyCaptchas.php Use Maintenance::addDescription 2019-08-19 19:03:36 +02:00
GenerateFancyCaptchas.php Use Maintenance::addDescription 2019-08-19 19:03:36 +02:00