Rename more options for consistency:
authorMike Taylor <mike@indexdata.com>
Wed, 9 Oct 2013 10:09:15 +0000 (11:09 +0100)
committerMike Taylor <mike@indexdata.com>
Wed, 9 Oct 2013 10:09:15 +0000 (11:09 +0100)
commite87e41ac4d90e6a4dcd979676b11dd9d04c98c27
tree924356f5209966d413c4678f733cab67f0cb4a13
parent94aa7644c4ea33e13ce9f3731d72257e1dc216a5
Rename more options for consistency:
lang_display -> lang_options
perpage -> perpage_options
sort -> sort_options
examples/htdocs/index-mobile.html
tools/htdocs/README.markdown
tools/htdocs/mkws.js
tools/htdocs/whitepaper.markdown