A file upload tool for mediawiki using its api.php interface