reporter = function (lint) {
                    var background = 'background: #' + (lint.id[0] === 'W' ? 'f0ad4e' : 'd9534f') + '; color: #ffffff;';
                    if (!seenLint) {
                        if (alertOnFirstProblem) {
                            /* eslint-disable-next-line no-alert, no-undef */
                            window.alert('bootlint found errors in this document! See the JavaScript console for details.');
                        }
                        seenLint = true;
                    }

                    if (lint.elements.length) {
                        console.warn('bootlint: %c ' + lint.id + ' ', background, lint.message + ' Documentation: ' + lint.url, lint.elements);
                    } else {
                        console.warn('bootlint: %c ' + lint.id + ' ', background, lint.message + ' Documentation: ' + lint.url);
                    }
                    errorCount++;
                }
Lints the HTML of the current document.
If there are any lint warnings, one general notification message will be window.alert()-ed to the user.
Each warning will be output individually using console.warn().
@param {string[]} disabledIds Array of string IDs of linters to disable
@param {object} [alertOpts] Options object to configure alert()ing
@param {boolean} [alertOpts.hasProblems=true] Show one alert() when the first lint problem is found?
@param {boolean} [alertOpts.problemFree=true] Show one alert() at the end of linting if the page has no lint problems?
@returns {undefined} Nothing