function ( MediaWikiServices $services ): InputCheckFactory { return new InputCheckFactory( new ServiceOptions( InputCheckFactory::CONSTRUCTOR_OPTIONS, $services->getMainConfig() ), $services->getMainWANObjectCache(), $services->getHttpRequestFactory(), LoggerFactory::getInstance( 'Math' ) ); }, ];