Use TOCData methods to process new headings
[mediawiki.git] / maintenance / includes / 
tree503e8742f54be730ca1966a02844a57475352a36
drwxr-xr-x   ..
-rw-r--r-- 14666 BackupDumper.php
-rw-r--r-- 6413 Benchmarker.php
-rw-r--r-- 6484 DeleteLocalPasswords.php
-rw-r--r-- 1011 FakeMaintenance.php
-rw-r--r-- 2452 LoggedUpdateMaintenance.php
-rw-r--r-- 4998 MWDoxygenFilter.php
-rw-r--r-- 40498 Maintenance.php
-rw-r--r-- 19301 MaintenanceParameters.php
-rw-r--r-- 20704 MaintenanceRunner.php
-rw-r--r-- 6762 SchemaMaintenance.php
-rw-r--r-- 2792 SevenZipStream.php
-rw-r--r-- 32926 TextPassDumper.php