Refactor JSLint into an extension
Merging
Adding JSLint
Renamed jslint to JSLint
NOTICE updated
Update the JSLint menu insertion
Remove HTML file checking in setDocInfo
Merging and fixing issues after review
Rerun Travis
updated german translation
umlaut fixed
typo fixes
typo fixes
Added HtmlSpecialCharsCodeHints as default extension
Convert language switch dialog to use a dropdown instead of a bulleted list
fix typo in id
A few fixes after review
A bit cleanup
Workaround for a display bug
Included a few missing special chars