aniani/elinks
1
0
Fork 0
mirror of https://github.com/rkd77/elinks.git synced 2024-12-04 14:46:47 -05:00
Code

Bug 722: Comment about case-sensitivity of media type names.

Browse Source
This commit is contained in:
Kalle Olavi Niemitalo 2008-01-12 10:08:57 +02:00 committed by Kalle Olavi Niemitalo
parent d2733656b8
commit 04b1e78039
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/document/css/css.c
View File

@ -72,7 +72,8 @@ struct option_info css_options_info[] = {
* @param optstr
* Null-terminated value of the document.css.media option.
* @param token
* A name parsed from a CSS file. Need not be null-terminated.
* A name parsed from a CSS file or from an HTML media attribute.
* Need not be null-terminated.
* @param token_length
* Length of @a token, in bytes.
*
@ -98,6 +99,17 @@ supports_css_media_type(const unsigned char *optstr,
while (end > beg && end[-1] == ' ')
--end;
/* W3C REC-html401-19991224 section 6.13:
* "3. A case-sensitive match is then made with
* the set of media types defined above."
* W3C REC-html401-19991224 section 14.2.3:
* "media = media-descriptors [CI]"
* where CI stands for case-insensitive.
* This mismatch has been reported to the
* www-html-editor@w3.org mailing list on 2000-11-16.
*
* W3C REC-CSS2-19980512 section 7.3:
* "Media type names are case-insensitive." */
if (!strlcasecmp(token, token_length, beg, end - beg))
return 1;