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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]PreferenceExaminer.php2023-07-29 18:01 1.0K 
[ ]PreferenceAware.php2023-07-29 18:01 388  
Apache/2.4.62 (Debian) Server at wiki.sinfar.net Port 80