ref: 3e39f6b80b2b6e4308e2d3a9fa436cbbb9d9b621
parent: 1264bccf4053d06d106d37b60516f7d27bfc8420
author: Simon Tatham <anakin@pobox.com>
date: Sun Mar 31 05:58:45 EDT 2013
Stop using the dangerously unescaped 'innerHTML' for <option> contents; use document.createTextNode like I do everywhere else. [originally from svn r9787]