change DISQUSWIDGETS jshint option