Index of /how-to/extensions/WikiEditor

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      COPYING                 2018-07-23 15:06   18K  
      extension.json          2018-07-23 15:06   15K  
      WikiEditor.hooks.php    2018-07-23 15:06   12K  
      README                  2018-07-23 15:06  1.1K  
      Gruntfile.js            2018-07-23 15:06  722   
      WikiEditor.php          2018-07-23 15:06  504   
      composer.json           2018-07-23 15:06  258   
      phpcs.xml               2018-07-23 15:06  250   
      tests/                  2018-07-23 16:01    -   
      modules/                2018-07-23 16:12    -   
      i18n/                   2018-07-23 15:41    -