mediawiki/extensions/ConfigManager: main (log #272477)

source • patches 
**purged**
Source code is licensed under the AGPL.