on-cog pull-right"></span></a><div class="dropdown-menu pull-right"><p>Which linter should be used for this code snippet:</p><form class="form-inline"><label class="radio-inline"><input name="linter" value="jslint" type="radio"> JSLint</label><label class="radio-inline"><input name="linter" value="jshint" type="radio"> JSHint</label><label class="radio-inline"><input name="linter" value="eslint" type="radio"> ESLint</label></form><p>Which version of the linter should be used:</p><form><input class="form-con