Script Summary: Replaces AM/PM with 24-hour time on all web sites automatically. Military time aka astronomical time everywhere.
Ever try to switch all your clocks over to military time yet become annoyed when you see AM/PM all over the web? This is the script for you then. This script will automatically replace all instances of AM/PM with 24 hour time on all web sites. Performance should be on par with or better than any text linkify script.
Note: This userscript is a fork of Dates, Times and Spellings by Pink Duck. All code unrelated to time replacement has been removed and optimised. The original can be found here: http://userscripts.org/scripts/show/29651 However, you are unlikely to want the original version if you don't live in the UK. My edits dropped the original script from 1489 lines of code to 137 lines.
I've noticed a few sites where the time doesn't change, but this is the behavior of the original script.