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