s/4.11/4.12/ per http://dev.w3.org/2006/webapi/WebIDL/v1.html