diff options
author | ot <ot@localhost> | 2008-07-22 13:06:04 +0000 |
---|---|---|
committer | ot <ot@localhost> | 2008-07-22 13:06:04 +0000 |
commit | fc81511bf15b1dea06db178f68c474b8d7d7f9bc (patch) | |
tree | 1e59c784368449a3faa64f578354e67b1227a9ff /htdocs/docs/users.html | |
parent | 0843ff1520a717e65cf9cc83b5162c4f418079eb (diff) | |
download | markup-validator-fc81511bf15b1dea06db178f68c474b8d7d7f9bc.zip markup-validator-fc81511bf15b1dea06db178f68c474b8d7d7f9bc.tar.gz markup-validator-fc81511bf15b1dea06db178f68c474b8d7d7f9bc.tar.bz2 |
documenting the User-Agent string param
Diffstat (limited to 'htdocs/docs/users.html')
-rwxr-xr-x | htdocs/docs/users.html | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/htdocs/docs/users.html b/htdocs/docs/users.html index b76e109..2b9dc9c 100755 --- a/htdocs/docs/users.html +++ b/htdocs/docs/users.html @@ -1,5 +1,5 @@ -<!--#set var="revision" value="\$Id: users.html,v 1.31 2008-07-17 15:47:05 ot Exp $" ---><!--#set var="date" value="\$Date: 2008-07-17 15:47:05 $" +<!--#set var="revision" value="\$Id: users.html,v 1.32 2008-07-22 13:04:52 ot Exp $" +--><!--#set var="date" value="\$Date: 2008-07-22 13:04:52 $" --><!--#set var="title" value="User Documentation for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> @@ -223,6 +223,14 @@ Validator for <a href="http://www.w3.org/TR/mobileOK-basic10-tests/#http_request">Mobile Web Best Practices</a> checking.</p> </dd> + <dt id="option-user-agent">Set a specific <code>User-Agent</code> Header (<code>user-agent</code>)</dt> + <dd> + <p>This option (<em>experimental, as of 0.8.3</em>) makes the validator send + a custom <code>User-Agent</code> HTTP header instead of the usual <code>W3C_Validator/xx.xxxx</code>. + If the value of this parameter is <code>mobileok</code>, the validator will output a <code>User-Agent</code> + string as defined by the <a href="http://www.w3.org/TR/mobileOK-basic10-tests/#http_request">Mobile Web Best Practices</a> + spec.</p> + </dd> </dl> <h4 id="Output">Output Options</h4> <p> |