(function() {


// If `marked` is defined, initialize it with our preferred options
if (marked !== undefined) {
    marked.setOptions({
        gfm: true,
        tables: true,
        breaks: true,
        pedantic: false,
        sanitize: true,
        smartLists: true,
        langPrefix : 'language-',
        highlight: function(code, lang) {
            // Use google code prettify to render syntax highlighting
            return prettyPrintOne(_.escape(code), lang, true /* line nos. */);
        }
    });
}


/*
 * Format the given text and put it into $el.
 *
 * If the given element is expected to be rich text, this will format the text
 * using Markdown.
 *
 * Otherwise, if it's not expected and won't be converted, then it will add
 * links to review requests and bug trackers but otherwise leave the text alone.
 */
RB.formatText = function($el, options) {
    options = options || {};

    if ($el.data('rich-text')) {
        if (options.newText !== undefined) {
            $el
                .html(options.newText)
                .addClass('rich-text')
        }

        $el.find('a').attr('target', '_blank');
        RB.LinkifyUtils.linkifyChildren($el[0], options.bugTrackerURL);
    } else if (options.newText !== undefined) {
        $el.html(RB.LinkifyUtils.linkifyText(options.text,
                                             options.bugTrackerURL));
    }
};


}());

@@ -13,513 +13,8 @@
 %7B%0A%0A%0A
-// If %60marked%60 is defined, initialize it with our preferred options%0Aif (marked !== undefined) %7B%0A    marked.setOptions(%7B%0A        gfm: true,%0A        tables: true,%0A        breaks: true,%0A        pedantic: false,%0A        sanitize: true,%0A        smartLists: true,%0A        langPrefix : 'language-',%0A        highlight: function(code, lang) %7B%0A            // Use google code prettify to render syntax highlighting%0A            return prettyPrintOne(_.escape(code), lang, true /* line nos. */);%0A        %7D%0A    %7D);%0A%7D%0A%0A%0A
 /*%0A 
@@ -565,16 +565,17 @@
 h-text')
+;
 %0A       

Fix some issues that were breaking javascript in firefox.