https://doc.wikimedia.org/mediawiki-core/master/php/extractClaimsFromJwt_8php_source.html
MediaWiki: maintenance/extractClaimsFromJwt.php Source File
mediawikimaintenancephpsourcefile
https://doc.wikimedia.org/mediawiki-core/master/php/classExtractClaimsFromJwt.html
MediaWiki: ExtractClaimsFromJwt Class Reference
mediawikiclassreference