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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      PreferenceAware.php     2024-12-20 01:31  387   
      PreferenceExaminer.php  2024-12-20 01:31  1.0K