https://doc.wikimedia.org/mediawiki-core/master/php/classFindDeprecated.html
MediaWiki: FindDeprecated Class Reference
mediawikiclassreference
https://doc.wikimedia.org/mediawiki-core/master/php/findDeprecated_8php_source.html
MediaWiki: maintenance/findDeprecated.php Source File
mediawikimaintenancephpsourcefile