dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
9911a36
)
REST: Properly handle HEAD requests
author
Tim Starling
<tstarling@wikimedia.org>
Tue, 10 Sep 2019 06:26:53 +0000
(16:26 +1000)
committer
Tim 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