jenkins-bot 8926ddb892 Merge "Improve some property type doc"		2021-02-05 03:25:59 +00:00
..
BackupDumper.php	Make use of array deconstruction directly in foreach, if possible	2020-11-12 18:38:06 +00:00
Benchmarker.php	benchmarks: Exclude from PHPUnit test coverage	2019-12-18 01:24:42 +00:00
DeleteLocalPasswords.php	Coding style: Auto-fix MediaWiki.Usage.IsNull.IsNull	2020-01-10 14:17:13 -08:00
FakeMaintenance.php	maintenance: Move FakeMaintenance and LoggedUpdateMaintenance to their own files	2020-04-21 16:42:01 +00:00
LoggedUpdateMaintenance.php	maintenance: Move FakeMaintenance and LoggedUpdateMaintenance to their own files	2020-04-21 16:42:01 +00:00
Maintenance.php	Merge "Improve some property type doc"	2021-02-05 03:25:59 +00:00
MigrateActors.php	build: Upgrade mediawiki-phan-config from 0.10.5 to 0.10.6	2020-12-17 10:14:53 -08:00
MWDoxygenFilter.php	Fix typos related to repeated words	2020-09-27 10:25:36 +00:00
SevenZipStream.php	Safer autoloading with respect to file-scope code	2021-01-11 11:59:36 +11:00
TextPassDumper.php	move the registration of SevenZipStream in dump module	2021-01-14 16:10:32 +02:00