PageSourceSearch

https://unseminary.com/wp-content/plugins/wp-courseware/includes/popup/js/MetroNotification.js

js unseminary.com collected 2026-09-24 19:23:04 UTC 23,993 bytes, 512 lines download raw bytes

vendor: 4,155 bytes, line 1
1(function(a,b){function m(a,b,c){var d=h[b.type]||{};return a==null?c||!b.def?null:b.def:(a=d.floor?~~a:parseFloat(a),isNaN(a)?b.def:d.mod?(a+d.mod)%d.mod:0>a?0:d.max<a?d.max:a)}function n(b){var c=f(),d=c._rgba=[];return b=b.toLowerCase(),l(e,function(a,e){var f,h=e.re.exec(b),i=h&&e.parse(h),j=e.space||"rgba";if(i)return f=c[j](i),c[g[j].cache]=f[g[j].cache],d=c._rgba=f._rgba,!1}),d.length?(d.join()==="0,0,0,0"&&a.extend(d,k.transparent),c):k[b]}function o(a,b,c){return c=(c+1)%1,c*6<1?a+(b-a)*c*6:c*2<1?b:c*3<2?a+(b-a)*(2/3-c)*6:a}var c="backgroundColor borderBottomColor borderLeftColor borderRightColor borderTopColor color columnRuleColor outlineColor textDecorationColor textEmphasisColor",d=/^([\-+])=\s*(\d+\.?\d*)/,e=[{re:/rgba?\(\s*(\d{1,3})\s*,\s*(\d{1,3})\s*,\s*(\d{1,3})\s*(?:,\s*(\d+(?:\.\d+)?)\s*)?\)/,parse:function(a){return[a[1],a[2],a[3],a[4]]}},{re:/rgba?\(\s*(\d+(?:\.\d+)?)\%\s*,\s*(\d+(?:\.\d+)?)\%\s*,\s*(\d+(?:\.\d+)?)\%\s*(?:,\s*(\d+(?:\.\d+)?)\s*)?\)/,parse:function(a){return[a[1]*2.55,a[2]*2.55,a[3]*2.55,a[4]]}},{re:/#([a-f0-9]{2})([a-f0-9]{2})([a-f0-9]{2})/,parse:function(a){return[parseInt(a[1],16),parseInt(a[2],16),parseInt(a[3],16)]}},{re:/#([a-f0-9])([a-f0-9])([a-f0-9])/,parse:function(a){return[parseInt(a[1]+a[1],16),parseInt(a[2]+a[2],16),parseInt(a[3]+a[3],16)]}},{re:/hsla?\(\s*(\d+(?:\.\d+)?)\s*,\s*(\d+(?:\.\d+)?)\%\s*,\s*(\d+(?:\.\d+)?)\%\s*(?:,\s*(\d+(?:\.\d+)?)\s*)?\)/,space:"hsla",parse:function(a){return[a[1],a[2]/100,a[3]/100,a[4]]}}],f=a.Color=function(b,c,d,e){return new a.Color.fn.parse(b,c,d,e)},g={rgba:{props:{red:{idx:0,type:"byte"},green:{idx:1,type:"byte"},blue:{idx:2,type:"byte"}}},hsla:{props:{hue:{idx:0,type:"degrees"},saturation:{idx:1,type:"percent"},lightness:{idx:2,type:"percent"}}}},h={"byte":{floor:!0,max:255},percent:{max:1},degrees:{mod:360,floor:!0}},i=f.support={},j=a("<p>")[0],k,l=a.each;j.style.cssText="background-color:rgba(1,1,1,.5)",i.rgba=j.style.backgroundColor.indexOf("rgba")>-1,l(g,function(a,b){b.cache="_"+a,b.props.alpha={idx:3,type:"percent",def:1}}),f.fn=a.extend(f.prototype,{parse:function(c,d,e,h){if(c===b)return this._rgba=[null,null,null,null],this;if(c.jquery||c.nodeType)c=a(c).css(d),d=b;var i=this,j=a.type(c),o=this._rgba=[],p;d!==b&&(c=[c,d,e,h],j="array");if(j==="string")return this.parse(n(c)||k._default);if(j==="array")return l(g.rgba.props,function(a,b){o[b.idx]=m(c[b.idx],b)}),this;if(j==="object")return c instanceof f?l(g,function(a,b){c[b.cache]&&(i[b.cache]=c[b.cache].slice())}):l(g,function(b,d){var e=d.cache;l(d.props,function(a,b){if(!i[e]&&d.to){if(a==="alpha"||c[a]==null)return;i[e]=d.to(i._rgba)}i[e][b.idx]=m(c[a],b,!0)}),i[e]&&a.inArray(null,i[e].slice(0,3))<0&&(i[e][3]=1,d.from&&(i._rgba=d.from(i[e])))}),this},is:function(a){var b=f(a),c=!0,d=this;return l(g,function(a,e){var f,g=b[e.cache];return g&&(f=d[e.cache]||e.to&&e.to(d._rgba)||[],l(e.props,function(a,b){if(g[b.idx]!=null)return c=g[b.idx]===f[b.idx],c})),c}),c},_space:function(){var a=[],b=this;return l(g,function(c,d){b[d.cache]&&a.push(c)}),a.pop()},transition:function(a,b){var c=f(a),d=c._space(),e=g[d],i=this.alpha()===0?f("transparent"):this,j=i[e.cache]||e.to(i._rgba),k=j.slice();return c=c[e.cache],l(e.props,function(a,d){var e=d.idx,f=j[e],g=c[e],i=h[d.type]||{};if(g===null)return;f===null?k[e]=g:(i.mod&&(g-f>i.mod/2?f+=i.mod:f-g>i.mod/2&&(f-=i.mod)),k[e]=m((g-f)*b+f,d))}),this[d](k)},blend:function(b){if(this._rgba[3]===1)return this;var c=this._rgba.slice(),d=c.pop(),e=f(b)._rgba;return f(a.map(c,function(a,b){return(1-d)*e[b]+d*a}))},toRgbaString:function(){var b="rgba(",c=a.map(this._rgba,function(a,b){return a==null?b>2?1:0:a});return c[3]===1&&(c.pop(),b="rgb("),b+c.join()+")"},toHslaString:function(){var b="hsla(",c=a.map(this.hsla(),function(a,b){return a==null&&(a=b>2?1:0),b&&b<3&&(a=Math.round(a*100)+"%"),a});return c[3]===1&&(c.pop(),b="hsl("),b+c.join()+")"},toHexString:function(b){var c=this._rgba.slice(),d=c.pop();return b&&c.push(~~(d*255)),"#"+a.map(c,function(a,b){return a=(a||0).toString(16),a.length===1?"0"+a:a}).join("")},toString:function(){return this._rgba[3]===0?"transparent":this.toRgbaString()}}
1),f.fn.parse.prototype=f.fn,g.hsla.to=function(a){if(a[0]==null||a[1]==null||a[2]==null)return[null,null,null,a[3]];var b=a[0]/255,c=a[1]/255,d=a[2]/255,e=a[3],f=Math.max(b,c,d),g=Math.min(b,c,d),h=f-g,i=f+g,j=i*.5,k,l;return g===f?k=0:b===f?k=60*(c-d)/h+360:c===f?k=60*(d-b)/h+120:k=60*(b-c)/h+240,j===0||j===1?l=j:j<=.5?l=h/i:l=h/(2-i),[Math.round(k)%360,l,j,e==null?1:e]},g.hsla.from=function(a){if(a[0]==null||a[1]==null||a[2]==null)return[null,null,null,a[3]];var b=a[0]/360,c=a[1],d=a[2],e=a[3],f=d<=.5?d*(1+c):d+c-d*c,g=2*d-f,h,i,j;return[Math.round(o(g,f,b+1/3)*255),Math.round(o(g,f,b)*255),Math.round(o(g,f,b-1/3)*255),e]},l(g,function(c,e){var g=e.props,h=e.cache,i=e.to,j=e.from;f.fn[c]=function(c){i&&!this[h]&&(this[h]=i(this._rgba));if(c===b)return this[h].slice();var d,e=a.type(c),k=e==="array"||e==="object"?c:arguments,n=this[h].slice();return l(g,function(a,b){var c=k[e==="object"?a:b.idx];c==null&&(c=n[b.idx]),n[b.idx]=m(c,b)}),j?(d=f(j(n)),d[h]=n,d):f(n)},l(g,function(b,e){if(f.fn[b])return;f.fn[b]=function(f){var g=a.type(f),h=b==="alpha"?this._hsla?"hsla":"rgba":c,i=this[h](),j=i[e.idx],k;return g==="undefined"?j:(g==="function"&&(f=f.call(this,j),g=a.type(f)),f==null&&e.empty?this:(g==="string"&&(k=d.exec(f),k&&(f=j+parseFloat(k[2])*(k[1]==="+"?1:-1))),i[e.idx]=f,this[h](i)))}})}),f.hook=function(b){var c=b.split(" ");l(c,function(b,c){a.cssHooks[c]={set:function(b,d){var e,g,h="";if(a.type(d)!=="string"||(e=n(d))){d=f(e||d);if(!i.rgba&&d._rgba[3]!==1){g=c==="backgroundColor"?b.parentNode:b;while((h===""||h==="transparent")&&g&&g.style)try{h=a.css(g,"backgroundColor"),g=g.parentNode}catch(j){}d=d.blend(h&&h!=="transparent"?h:"_default")}d=d.toRgbaString()}try{b.style[c]=d}catch(d){}}},a.fx.step[c]=function(b){b.colorInit||(b.start=f(b.elem,c),b.end=f(b.end),b.colorInit=!0),a.cssHooks[c].set(b.elem,b.start.transition(b.end,b.pos))}})},f.hook(c),a.cssHooks.borderColor={expand:function(a){var b={};return l(["Top","Right","Bottom","Left"],function(c,d){b["border"+d+"Color"]=a}),b}},k=a.Color.names={aqua:"#00ffff",black:"#000000",blue:"#0000ff",fuchsia:"#ff00ff",gray:"#808080",green:"#008000",lime:"#00ff00",maroon:"#800000",navy:"#000080",olive:"#808000",purple:"#800080",red:"#ff0000",silver:"#c0c0c0",teal:"#008080",white:"#ffffff",yellow:"#ffff00",transparent:[null,null,null,0],_default:"#ffffff"}})(jQuery);
2
3
4jQuery(document).ready(function() {
5  jQuery("body").append("<div id='divSmallBoxes'></div>");
6  jQuery("body").append("<div id='divMiniIcons'></div><div id='divbigBoxes'></div>");
7  jQuery(".OpenSideBar").pageslide({ direction: "left" });
8});
9
10function MetroUnLoading()
11{
12
13    $(".divMessageBox").fadeOut(300,function(){
14        $(this).remove();
15    });
16
17    $(".LoadingBoxContainer").fadeOut(300,function(){
18        $(this).remove();
19    });
20}
21
22var SmallBoxes = 0;
23var SmallCount = 0;
24var SmallBoxesAnchos = 0;
25
26(function ($) {
27    $.smallBox = function (settings,callback)
28    {
29        var BoxSmall, content;
30        settings = $.extend({
31            title: "",
32            content: "",
33            img: undefined,
34            icon: undefined,
35            sound: false,
36            color: undefined,
37            timeout: undefined,
38            colortime: 1500,
39            colors:undefined
40        }, settings);
41
42
43        if(settings.sound===true)
44        {
45            if(isIE8orlower() == 0)
46            {
47                var audioElement = document.createElement('audio');
48
49                if (navigator.userAgent.match('Firefox/'))
50                    audioElement.setAttribute('src', '../sound/smallbox.ogg');
51                else
52                    audioElement.setAttribute('src', '../sound/smallbox.mp3');
53
54                $.get();
55                audioElement.addEventListener("load", function() {
56                audioElement.play();
57                }, true);
58                audioElement.pause();
59                audioElement.play();
60            }
61        }
62
63        SmallBoxes = SmallBoxes + 1;
64
65        BoxSmall = ""
66        var IconSection ="";
67        var CurrentIDSmallbox = "smallbox"+SmallBoxes;
68
69        if(settings.icon == undefined)
70        {
71            IconSection = "<div class='miniIcono'></div>";
72        }
73        else
74        {
75            IconSection = "<div class='miniIcono'><img class='miniPic' src='"+ settings.icon +"'></div>";
76        }
77
78        if(settings.img == undefined)
79        {
80            BoxSmall = "<div id='smallbox"+ SmallBoxes +"' class='SmallBox wpa_animated fadeInRight fast'><div class='smallboxinner'><div class='textoFull'><span class='SmallBoxTitle'>"+ settings.title +"</span><p>"+ settings.content +"</p></div>"+ IconSection +"<div class='wpa_clear'></div></div>";
81            BoxSmall = BoxSmall+"</div>";
82        }
83        else
84        {
85            BoxSmall = "<div id='smallbox"+ SmallBoxes +"' class='SmallBox wpa_animated fadeInRight fast'><div class='smallboxinner'><div class='foto'><img src='"+ settings.img +"'></div><div class='textoFoto'><span class='SmallBoxTitle'>"+ settings.title +"</span><p>"+ settings.content +"</p></div>"+ IconSection +"<div class='wpa_clear'></div></div>";
86            BoxSmall = BoxSmall+"</div>";
87        }
88
89        if(SmallBoxes == 1)
90        {
91            $("#divSmallBoxes").append(BoxSmall);
92            SmallBoxesAnchos = $("#smallbox"+SmallBoxes).height() + 40;
93        }
94        else
95        {
96            var MetroExist = $(".SmallBox").length;
97            if(MetroExist==0)
98            {
99                $("#divSmallBoxes").append(BoxSmall);
100                SmallBoxesAnchos = $("#smallbox"+SmallBoxes).height() + 40;
101            }
102            else
103            {
104                $("#divSmallBoxes").append(BoxSmall);
105                $("#smallbox"+SmallBoxes).css("top", SmallBoxesAnchos );
106                SmallBoxesAnchos = SmallBoxesAnchos + $("#smallbox"+ SmallBoxes).height() + 20;
107
108                $(".SmallBox").each(function( index )
109                {
110
111                    if(index == 0)
112                    {
113                        $(this).css("top", 20 );
114                        heightPrev = $(this).height() + 40;
115                        SmallBoxesAnchos = $(this).height() + 40;
116                    }
117                    else
118                    {
119                        $(this).css("top", heightPrev );
120                        heightPrev = heightPrev + $(this).height() + 20;
121                        SmallBoxesAnchos = SmallBoxesAnchos + $(this).height() + 20;
122                    }
123
124                });
125
126            }
127        }
128
129        var ThisSmallBox = $("#smallbox"+SmallBoxes);
130
131        if(settings.color == undefined)
132        {
133            ThisSmallBox.css("background-color", "#004d60" );
134        }
135        else
136        {
137            ThisSmallBox.css("background-color", settings.color );
138        }
139
140
141        var ColorTimeInterval;
142        if(settings.colors !=undefined && settings.colors.length>0){
143            ThisSmallBox.attr("colorcount","0");
144
145            ColorTimeInterval = setInterval(function(){
146
147                var ColorIndex = ThisSmallBox.attr("colorcount");
148
149                ThisSmallBox.animate({
150                    backgroundColor: settings.colors[ColorIndex].color,
151                });
152
153                if(ColorIndex < settings.colors.length-1){
154                    ThisSmallBox.attr("colorcount",((ColorIndex*1)+1));
155                }else{
156                    ThisSmallBox.attr("colorcount",0);
157                }
158
159            },settings.colortime);
160        }
161
162        if(settings.timeout != undefined)
163        {
164
165            setTimeout(function()
166            {
167                clearInterval(ColorTimeInterval);
168                var ThisHeight = $(this).height() + 20;
169                var ID = CurrentIDSmallbox;
170                var ThisTop = $("#"+CurrentIDSmallbox).css('top');
171
172                if ($("#"+CurrentIDSmallbox+":hover").length != 0) {
173                    $("#"+CurrentIDSmallbox).on("mouseleave",function(){
174                        SmallBoxesAnchos = SmallBoxesAnchos - ThisHeight;
175                        $("#"+CurrentIDSmallbox).remove();
176                        if (typeof callback == "function")
177                        {
178                            if(callback) callback();
179                        }
180
181                        var Primero = 1;
182                        var heightPrev = 0;
183                        $(".SmallBox").each(function( index )
184                        {
185
186                            if(index == 0)
187                            {
188                                $(this).animate({
189                                    top: 20
190                                },300);
191
192                                heightPrev = $(this).height() + 40;
193                                SmallBoxesAnchos = $(this).height() + 40;
194                            }
195                            else
196                            {
197                                $(this).animate({
198                                    top: heightPrev
199                                },350);
200
201                                heightPrev = heightPrev + $(this).height() + 20;
202                                SmallBoxesAnchos = SmallBoxesAnchos + $(this).height() + 20;
203                            }
204
205                        });
206                    });
207                }
208                else
209                {
210                    clearInterval(ColorTimeInterval);
211                    SmallBoxesAnchos = SmallBoxesAnchos - ThisHeight;
212
213                    if (typeof callback == "function")
214                    {
215                        if(callback) callback();
216                    }
217
218                    $("#"+CurrentIDSmallbox).removeClass().addClass("SmallBox").animate({
219                        opacity: 0
220                    },300, function(){
221
222                        $(this).remove();
223
224                         var Primero = 1;
225                            var heightPrev = 0;
226                            $(".SmallBox").each(function( index )
227                            {
228
229                                if(index == 0)
230                                {
231                                    $(this).animate({
232                                        top: 20
233                                    },300);
234
235                                    heightPrev = $(this).height() + 40;
236                                    SmallBoxesAnchos = $(this).height() + 40;
237                                }
238                                else
239                                {
240                                    $(this).animate({
241                                        top: heightPrev
242                                    });
243
244                                    heightPrev = heightPrev + $(this).height() + 20;
245                                    SmallBoxesAnchos = SmallBoxesAnchos + $(this).height() + 20;
246                                }
247
248                            });
249                    })
250                }
251
252            }, settings.timeout);
253        }
254
255         $("#smallbox"+SmallBoxes+" .smallboxinner").bind('click', function()
256         {
257            clearInterval(ColorTimeInterval);
258            if (typeof callback == "function")
259            {
260                if(callback) callback();
261            }
262
263            var ThisHeight = $(this).parent().height() + 20;
264            var ID = $(this).parent().attr('id');
265            var ThisTop = $(this).parent().css('top');
266
267            SmallBoxesAnchos = SmallBoxesAnchos - ThisHeight;
268
269            $(this).parent().removeClass().addClass("SmallBox").animate({
270                opacity: 0
271            },300,function(){
272                $(this).remove();
273
274                var Primero = 1;
275                var heightPrev = 0;
276
277                $(".SmallBox").each(function( index )
278                {
279                    if(index == 0)
280                    {
281                        $(this).animate({
282                            top: 20,
283                        },300);
284                        heightPrev = $(this).height() + 40;
285                        SmallBoxesAnchos = $(this).height() + 40;
286                    }
287                    else
288                    {
289                        $(this).animate({
290                            top:heightPrev
291                        },350);
292                        heightPrev = heightPrev + $(this).height() + 20;
293                        SmallBoxesAnchos = SmallBoxesAnchos + $(this).height() + 20;
294                    }
295                });
296            })
297         });
298    }
299})(jQuery);
300
301function CloseSide()
302{
303    $.pageslide.close();
304}
305
306/*
307 * jQuery pageSlide
308 * Version 2.0
309 * http://srobbin.com/jquery-pageslide/
310 *
311 * jQuery Javascript plugin which slides a webpage over to reveal an additional interaction pane.
312 *
313 * Copyright (c) 2011 Scott Robbin (srobbin.com)
314 * Dual licensed under the MIT and GPL licenses.
315*/
316
317;(function($){
318    var $body, $pageslide;
319
320    $(function(){
321        $body = $('body'), $pageslide = $('#pageslide');
322
323        if( $pageslide.length == 0 ) {
324             $pageslide = $('<div />').attr( 'id', 'pageslide' )
325                                      .css( 'display', 'none' )
326                                      .appendTo( $('body') );
327        }
328
329        $pageslide.click(function(e) {
330            e.stopPropagation();
331        });
332
333        $(document).bind('click keyup', function(e) {
334
335            if( e.type == "keyup" && e.keyCode != 27) return;
336
337            if( $pageslide.is( ':visible' ) && !$pageslide.data( 'modal' ) ) {
338                $.pageslide.close();
339            }
340        });
341    });
342
343    var _sliding = false,   // Mutex to assist closing only once
344        _lastCaller;        // Used to keep track of last element to trigger pageslide
345
346    function _load( url, useIframe ) {
347        if ( url.indexOf("#") === 0 ) {
348            $(url).clone(true).appendTo( $pageslide.empty() ).show();
349        } else {
350            if( useIframe ) {
351                var iframe = $("<iframe />").attr({
352                                                src: url,
353                                                frameborder: 0,
354                                                hspace: 0
355                                            })
356                                            .css({
357                                                width: "100%",
358                                                height: "100%"
359                                            });
360
361                $pageslide.html( iframe );
362            } else {
363                $pageslide.load( url );
364            }
365
366            $pageslide.data( 'localEl', false );
367
368        }
369    }
370
371    function _start( direction, speed ) {
372        var slideWidth = $pageslide.outerWidth( true ),
373            bodyAnimateIn = {},
374            slideAnimateIn = {};
375
376        if( $pageslide.is(':visible') || _sliding ) return;
377        _sliding = true;
378
379        switch( direction ) {
380            case 'left':
381                $pageslide.css({ left: 'auto', right: '-' + slideWidth + 'px' });
382                bodyAnimateIn['margin-left'] = '-=' + slideWidth;
383                slideAnimateIn['right'] = '+=' + slideWidth;
384                break;
385            default:
386                $pageslide.css({ left: '-' + slideWidth + 'px', right: 'auto' });
387                bodyAnimateIn['margin-left'] = '+=' + slideWidth;
388                slideAnimateIn['left'] = '+=' + slideWidth;
389                break;
390        }
391
392        $body.animate(bodyAnimateIn, speed);
393        $pageslide.show()
394                  .animate(slideAnimateIn, speed, function() {
395                      _sliding = false;
396                  });
397    }
398
399    $.fn.pageslide = function(options) {
400        var $elements = this;
401
402        $elements.click( function(e) {
403            var $self = $(this),
404                settings = $.extend({ href: $self.attr('href') }, options);
405
406            e.preventDefault();
407            e.stopPropagation();
408
409            if ( $pageslide.is(':visible') && $self[0] == _lastCaller ) {
410                $.pageslide.close();
411            } else {
412                $.pageslide( settings );
413
414                _lastCaller = $self[0];
415            }
416        });
417    };
418
419    $.fn.pageslide.defaults = {
420        speed:      200,        // Accepts standard jQuery effects speeds (i.e. fast, normal or milliseconds)
421        direction:  'right',    // Accepts 'left' or 'right'
422        modal:      false,      // If set to true, you must explicitly close pageslide using $.pageslide.close();
423        iframe:     true,       // By default, linked pages are loaded into an iframe. Set this to false if you don't want an iframe.
424        href:       null        // Override the source of the content. Optional in most cases, but required when opening pageslide programmatically.
425    };
426
427    /*
428     * Public methods
429     */
430
431    $.pageslide = function( options ) {
432        var settings = $.extend({}, $.fn.pageslide.defaults, options);
433
434        if( $pageslide.is(':visible') && $pageslide.data( 'direction' ) != settings.direction) {
435            $.pageslide.close(function(){
436                _load( settings.href, settings.iframe );
437                _start( settings.direction, settings.speed );
438            });
439        } else {
440            _load( settings.href, settings.iframe );
441            if( $pageslide.is(':hidden') ) {
442                _start( settings.direction, settings.speed );
443            }
444        }
445
446        $pageslide.data( settings );
447    }
448
449    $.pageslide.close = function( callback ) {
450        var $pageslide = $('#pageslide'),
451            slideWidth = $pageslide.outerWidth( true ),
452            speed = $pageslide.data( 'speed' ),
453            bodyAnimateIn = {},
454            slideAnimateIn = {}
455
456        if( $pageslide.is(':hidden') || _sliding ) return;
457        _sliding = true;
458
459        switch( $pageslide.data( 'direction' ) ) {
460            case 'left':
461                bodyAnimateIn['margin-left'] = '+=' + slideWidth;
462                slideAnimateIn['right'] = '-=' + slideWidth;
463                break;
464            default:
465                bodyAnimateIn['margin-left'] = '-=' + slideWidth;
466                slideAnimateIn['left'] = '-=' + slideWidth;
467                break;
468        }
469
470        $pageslide.animate(slideAnimateIn, speed);
471        $body.animate(bodyAnimateIn, speed, function() {
472            $pageslide.hide();
473            _sliding = false;
474            if( typeof callback != 'undefined' ) callback();
475        });
476    }
477})(jQuery);
478
479function getInternetExplorerVersion() {
480    var rv = -1; // Return value assumes failure.
481    if (navigator.appName == 'Microsoft Internet Explorer') {
482        var ua = navigator.userAgent;
483        var re = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
484        if (re.exec(ua) != null)
485            rv = parseFloat(RegExp.$1);
486    }
487    return rv;
488}
489function checkVersion() {
490    var msg = "You're not using Windows Internet Explorer.";
491    var ver = getInternetExplorerVersion();
492    if (ver > -1) {
493        if (ver >= 8.0)
494            msg = "You're using a recent copy of Windows Internet Explorer."
495        else
496            msg = "You should upgrade your copy of Windows Internet Explorer.";
497    }
498    alert(msg);
499}
500
501function isIE8orlower() {
502    var msg = "0";
503    var ver = getInternetExplorerVersion();
504    if (ver > -1) {
505        if (ver >= 9.0)
506            msg = 0
507        else
508            msg = 1;
509    }
510    return msg;
511    // alert(msg);
512}

Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.