mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-11-27 17:01:07 +00:00
9b7205599c
This is doing a bulk of the job of creating a service for working with math modes configuration. There's still things to do, like moving math mode names, and perhaps depending on default user options to provide a bit more convenience, but that will be the next step. Change-Id: I1259a93651920f44104f2f5135e3e620c858be8d
39 lines
1.2 KiB
PHP
39 lines
1.2 KiB
PHP
<?php
|
|
|
|
use MediaWiki\Config\ServiceOptions;
|
|
use MediaWiki\Extension\Math\InputCheck\InputCheckFactory;
|
|
use MediaWiki\Extension\Math\MathConfig;
|
|
use MediaWiki\Extension\Math\Render\RendererFactory;
|
|
use MediaWiki\Logger\LoggerFactory;
|
|
use MediaWiki\MediaWikiServices;
|
|
|
|
return [
|
|
'Math.CheckerFactory' => static function ( MediaWikiServices $services ): InputCheckFactory {
|
|
return new InputCheckFactory(
|
|
new ServiceOptions(
|
|
InputCheckFactory::CONSTRUCTOR_OPTIONS,
|
|
$services->getMainConfig()
|
|
),
|
|
$services->getMainWANObjectCache(),
|
|
$services->getHttpRequestFactory(),
|
|
LoggerFactory::getInstance( 'Math' )
|
|
);
|
|
},
|
|
'Math.Config' => static function ( MediaWikiServices $services ): MathConfig {
|
|
return new MathConfig(
|
|
new ServiceOptions( MathConfig::CONSTRUCTOR_OPTIONS, $services->getMainConfig() )
|
|
);
|
|
},
|
|
'Math.RendererFactory' => static function ( MediaWikiServices $services ): RendererFactory {
|
|
return new RendererFactory(
|
|
new ServiceOptions(
|
|
RendererFactory::CONSTRUCTOR_OPTIONS,
|
|
$services->getMainConfig()
|
|
),
|
|
$services->get( 'Math.Config' ),
|
|
$services->getUserOptionsLookup(),
|
|
LoggerFactory::getInstance( 'Math' )
|
|
);
|
|
},
|
|
];
|