WHATWG HTML5-spec multipage redirect
This script simply redirects all links pointing at the main (enormous single page) HTML5 spec to the (sane) multi-page spec.
This probably won't have a huge audience as reading W3C/WHATWG specifications is not of interest to most (though it really should be if you're a client-side web developer). I was growing increasingly annoyed when clicking links to the poorly designed, abominably large single-page version of the spec, so I wrote this quick little script.
Note: Only links to sections listed in the table of contents are redirected. Since there are literally thousands of fragment ID's throughout the page, not all of which are listed in contents - these won't be redirected.
Installation Instructions:
To install UserJS files you must first create a folder for them on your PC. Where you create this folder and what you call it is entirely up to you. Next, go to file->preferences->advanced->content->Javascript Options and select the User Javascript folder you just created. Then, download the .js file from this site and put it in the folder.
If you are using Opera 10.10 or later you can use the UJS manager Unite application to install and manage your scripts. If you have it installed, simply open the script in Opera and an installation button will appear.
Scripts take effect on a page after reloading it.
Tested with Opera version(s):
10.0
10.10
html5multipage.js (49)Poll
Comments
An interesting idea.
An interesting idea.
Intelligent alien life does exist, otherwise they would have contacted us.
possible enhancement
Random observer comment: could you build mp[] on the fly by loading http://www.whatwg.org/specs/web-apps/current-work/multipage/index.html? You could load it into a hidden frame or something, then just check it for a reference to the one frag you're trying to reach. I imagine this would be a little bit slower, but not much (and nothing compared to loading the single-page version). The benefits would be instant reactivity to changed fragment structure on the site, less bulky and more static userjs script. Also probably a little easier to retarget to the next annoying single-vs-multi-page site.
(random arrival by: looking up lucideer because I am fiddling around with his mouse gestures userjs. I wish to upload or send back an updated version of that script, without necessarily becoming its default maintainer nor stepping on lucideer's toes. you can email me @armory.com, username filbo; same name on my.opera.com, but I check mail there much less often.)
>Bela<
Post new comment