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
Comments
An interesting idea.
An interesting idea.
Intelligent alien life does exist, otherwise they would have contacted us.
Post new comment