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

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