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

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] PreferenceExaminer.php  2022-03-24 20:57  688   
[   ] PreferenceAware.php     2022-03-24 20:57  388