
Change I3be4aeb009 replaced the "Get file type" REST API endpoint with the /content endpoint. According to documentation [1], the content type can be retrieved by making a HEAD request to the endpoint. This doesn't work because RestApiServlet is only checking for GET, and HEAD requests result in 404. Modify it to also allow HEAD requests. Add a test to make sure it works. [1] https://gerrit-review.googlesource.com/Documentation/rest-api-changes.html#get-content Bug: Issue 4136 Change-Id: If5eaaba2fec94499f332970ce6b8c6db2ac9c571