Index of /mediawiki/extensions/WikiEditor

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] COPYING                 2016-08-23 00:06   18K  
[   ] extension.json          2016-08-23 00:06   15K  
[   ] WikiEditor.hooks.php    2016-08-23 00:06   13K  
[   ] README                  2016-08-23 00:06  1.1K  
[   ] WikiEditor.php          2016-08-23 00:06  504   
[   ] Gruntfile.js            2016-08-23 00:06  434   
[   ] composer.json           2016-08-23 00:06  329   
[DIR] tests/                  2016-08-23 00:06    -   
[DIR] modules/                2016-08-23 00:06    -   
[DIR] i18n/                   2016-08-23 00:06    -
Apache/2.4.29 (Ubuntu) Server at web.ma.utexas.edu Port 443