gplx/mediawiki/includes/Settings/Config
Sascha c0fb067595 feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00
..
ArrayConfigBuilder.php feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00
ConfigBuilder.php feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00
ConfigBuilderBase.php feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00
ConfigSchema.php feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00
ConfigSchemaAggregator.php feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00
GlobalConfigBuilder.php feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00
MergeStrategy.php feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00
NullIniSink.php feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00
PhpIniSink.php feat: Mediawiki added, extensions added 2026-06-01 16:02:23 +02:00