User talk:Stevage/EnhanceHistory.user.js

From Wikipedia, the free encyclopedia

A la WP:POP: Quick installation: add {{subst:enhancehistory}} to your own enhancehistory/user.js (or equivalent file if you use a different skin). -Stevertigo 03:19, 12 March 2007 (UTC) PS. Dunno if that's sufficient. -Stevertigo 03:24, 12 March 2007 (UTC)

No, it's a GreaseMonkey script. Get the GreaseMonkey extension for FireFox, then install the script from here. I vaguely recall that it would not be directly convertible, because GM has greater power in retrieving pages outside the current domain.

Also, note that I had some problems with the diffing algorithm. This version uses the third algorithm (all code I found on teh interweb), which is correct but not always stable. As opposed to incorrect, and always unstable. :) Stevage 03:34, 15 March 2007 (UTC)