Index of /wiki/extensions/ExternalData/vendor/mediawiki/mediawiki-phan-config/src

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]stubs/2023-04-17 13:43 -  
[ ]MediaWikiConfigBuilder.php2023-04-17 13:43 1.5K 
[ ]config-library.php2023-04-17 13:43 2.2K 
[ ]base-config-functions.php2023-04-17 13:43 2.8K 
[ ]config.php2023-04-17 13:43 3.6K 
[ ]ConfigBuilder.php2023-04-17 13:43 7.0K 
Apache/2.4.57 (Ubuntu) Server at it.desalesmedia.org Port 443