Changeset 2040
- Timestamp:
- 11/27/07 01:51:39 (5 years ago)
- Files:
-
- 1 modified
-
lang/javascript/userscripts/jautopagerize.user.js (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
lang/javascript/userscripts/jautopagerize.user.js
r2039 r2040 488 488 // Firefox doesn't have createHTMLDocument 489 489 if (!document.implementation.createHTMLDocument) { 490 490 // Maybe this is the best way to create HTMLDocument, but not worked in any browser... 491 // var html4dt = document.implementation.createDocumentType("HTML", "-//W3C//DTD HTML 4.01//EN", "http://www.w3.org/TR/html4/strict.dtd"); 492 // var d = document.implementation.createDocument("", "HTML", html4dt); 493 // return d; 494 495 // In Firefox 491 496 // Try to create HTMLDocument from XSLT with <xsl:output method='html'/> 492 497 if (typeof DOMParser != "undefined" && 493 498 typeof XSLTProcessor != "undefined") { 494 // var html4dt = document.implementation.createDocumentType("HTML", "-//W3C//DTD HTML 4.01//EN", "http://www.w3.org/TR/html4/strict.dtd");495 // var d = document.implementation.createDocument("", "HTML", html4dt);496 // return d;497 499 return null; // avoid magical XSLTProcessor bug. so use div for parsing 498 500 var x = new XSLTProcessor(); … … 535 537 } 536 538 537 // extend version of $X 538 // $X(exp); 539 // $X(exp, context); 540 // $X(exp, type); 541 // $X(exp, context, type); 539 // modified $X for relative path extension. 542 540 function $X (exp, context, type /* want type */) { 543 541 if (arguments.callee.forceRelative || navigator.userAgent.match("Safari/523.12")) {
![(please configure the [header_logo] section in trac.ini)](/share/chrome/site/your_project_logo.png)