Index of /wiki/extensions/UserMerge

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 COPYING                 2017-07-12 18:38   18K  
 MergeUser.php           2017-07-12 18:38   14K  
 UserMerge.alias.php     2017-07-12 18:38  7.2K  
 SpecialUserMerge.php    2017-07-12 18:38  4.7K  
 extension.json          2017-07-12 18:38  1.2K  
 UserMergeLogger.php     2017-07-12 18:38  922   
 UserMerge.php           2017-07-12 18:38  576   
 UserMerge.hooks.php     2017-07-12 18:38  549   
 Gruntfile.js            2017-07-12 18:38  482   
 IUserMergeLogger.php    2017-07-12 18:38  405   
 package.json            2017-07-12 18:38  317   
 phpcs.xml               2017-07-12 18:38  250   
 composer.json           2017-04-06 16:48  225   
 install.settings        2017-07-12 18:38  184   
 tests/                  2017-07-12 18:44    -   
 i18n/                   2017-07-12 18:43    -