Maintenance: type attribute is obsolete for script elements in HTML5.