MediaWiki master
|
Go to the source code of this file.
Classes | |
class | ConvertExtensionToRegistration |
Variables | |
$maintClass = ConvertExtensionToRegistration::class | |
$maintClass = ConvertExtensionToRegistration::class |
Definition at line 358 of file convertExtensionToRegistration.php.