Improved responses to different requests on static resources in built-in web server

[vedranmiletic]

We use PHP's built-in web server for teaching HTTP requests and responses. These two patches handle some edge cases of interest to us.

• Respond without body to HEAD request on a static resource
• Respond with HTTP status 405 to DELETE/POST/PUT/PATCH request on a static resource

[vedranmiletic]

I will fix those failing tests and get back with an improved version.

[ramsey]

Hi, @vedranmiletic! This PR is waiting on some feedback from you before we can merge it.

As @cmb69 indicated:

The origin server MUST generate an Allow header field in a 405 response containing a list of the target resource's currently supported methods.

— https://datatracker.ietf.org/doc/html/rfc7231#section-6.5.5

Does the CLI server already do this?

[github-actions]

There has not been any recent activity in this PR. It will automatically be closed in 7 days if no further action is taken.

[bukka]

This might be worth to leave for a bit longer open

[vedranmiletic]

Sorry for the delay. I will do the requested changes soon.

[vedranmiletic]

Great CI results. Test incoming.

[bukka]

Just FYI I messaged internals if this could be added before the first 8.2 RC.

[andypost]

it could went in as bugfix to support 405 status

[bukka]

Merged via 7065a22 and 4f50905 . Thanks!

[bukka]

@andypost I think it's probably more for master even though it's probably somewhere between feature and bug.