* htdocs/document/upload.php: case insensitive document extension