Umherirrender 769bdbf091 docs: Fix nullable documentation for class properties ... Change-Id: I6d0577124d852103f485ffdc819876a13f6641c3		2021-09-24 00:54:53 +00:00
..
BackupDumper.php	WikiExporter: inject services	2021-09-06 10:03:37 +00:00
Benchmarker.php	benchmarks: Set a default file in benchmarkJSMinPlus.php	2021-08-26 04:40:02 +01:00
DeleteLocalPasswords.php	More master -> primary documentation and internal var renaming	2021-07-15 11:20:20 +01:00
FakeMaintenance.php	maintenance: Move FakeMaintenance and LoggedUpdateMaintenance to their own files	2020-04-21 16:42:01 +00:00
LoggedUpdateMaintenance.php	Factor out LoggedUpdateMaintenance::setForce()	2021-06-24 16:21:53 +10:00
Maintenance.php	Using @return never documentation on always-throw-function	2021-09-07 17:29:03 +02:00
MigrateActors.php	build: Update mediawiki/mediawiki-phan-config to 0.11.0	2021-09-07 17:19:05 +02:00
MWDoxygenFilter.php	maintenance: Mark some closures as static	2021-02-07 02:18:30 +00:00
SevenZipStream.php	Safer autoloading with respect to file-scope code	2021-01-11 11:59:36 +11:00
TextPassDumper.php	docs: Fix nullable documentation for class properties	2021-09-24 00:54:53 +00:00