WordPress.org

Make WordPress Core

Ticket #10257: 10257.patch

File 10257.patch, 1.5 KB (added by hakre, 9 years ago)
  • wp-includes/js/codepress/codepress.html

     
    55        <meta name="description" content="CodePress - source code editor window" />
    66
    77        <script type="text/javascript">
     8    //<![CDATA[
     9    <!--
    810        var language = 'generic';
    911        var engine = 'older';
    1012        var ua = navigator.userAgent;
     
    2022
    2123        document.write('<link type="text/css" href="codepress.css?ts='+ts+'" rel="stylesheet" />');
    2224        document.write('<link type="text/css" href="languages/'+language+'.css?ts='+ts+'" rel="stylesheet" id="cp-lang-style" />');
    23         document.write('<scr'+'ipt type="text/javascript" src="engines/'+engine+'.js?ts='+ts+'"></scr'+'ipt>');
    24         document.write('<scr'+'ipt type="text/javascript" src="languages/'+language+'.js?ts='+ts+'"></scr'+'ipt>');
     25        document.write('<scr'+'ipt type="text/javascript" src="engines/'+engine+'.js?ts='+ts+'"></'+'scr'+'ipt>');
     26        document.write('<scr'+'ipt type="text/javascript" src="languages/'+language+'.js?ts='+ts+'"></'+'scr'+'ipt>');
     27        //-->
     28    //]]>
    2529        </script>
    2630
    2731</head>
    28 
     32<body>
    2933<script type="text/javascript">
    30 if(engine == "msie" || engine == "gecko") document.write('<body><pre> </pre></body>');
    31 else if(engine == "opera") document.write('<body></body>');
    32 // else if(engine == "khtml") document.write('<body> </body>');
     34if(engine == "msie" || engine == "gecko") document.write('<' + 'pre> </' + 'pre>');
    3335</script>
    34 
     36</body>
    3537</html>