dépôts / lhc / web / wiklou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 9911a36)
REST: Properly handle HEAD requests
authorTim Starling <tstarling@wikimedia.org>
Tue, 10 Sep 2019 06:26:53 +0000 (16:26 +1000)
committerTim Starling <tstarling@wikimedia.org>
Tue, 17 Sep 2019 06:03:14 +0000 (16:03 +1000)
Just handle a HEAD request as a GET request, if no specific HEAD handler
exists. This is simple and similar to what the rest of MediaWiki does in
response to a HEAD request.

Bug: T226043
Change-Id: I7b2bd657c20b56844459874131a3d85fabe7db3d


No differences found
Wiklou, le Wiki du Wiklou