Index of /mediawiki/extensions/InputBox

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 resources/              2016-08-23 00:06    -   
 i18n/                   2016-08-23 00:06    -   
 extension.json          2016-08-23 00:06  1.2K  
 composer.json           2016-08-23 00:06  203   
 InputBox.php            2016-08-23 00:06  491   
 InputBox.hooks.php      2016-08-23 00:06  2.0K  
 InputBox.classes.php    2016-08-23 00:06   18K  
 Gruntfile.js            2016-08-23 00:06  449

Apache/2.4.29 (Ubuntu) Server at web.ma.utexas.edu Port 443