Inline Wikipedia History, updated

·

Seeing WikiDashboard (shows which users have edited the current page, runs on their Wikipedia mirror) reminded me to update a Greasemonkey script that shows the 5 most recent edits to a Wikipedia page (useful for noticing if a page has been tampered with recently).

It needed updating because the old Wikipedia API has been replaced by the full Mediawiki API.