Index of /wiki/extensions/SemanticMediaWiki/src/MediaWiki/Preference

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]PreferenceAware.php2023-07-29 14:01 388  
[ ]PreferenceExaminer.php2023-07-29 14:01 1.0K 
Apache/2.4.63 (Ubuntu) Server at it.desalesmedia.org Port 443