Extension to change from 12 hour to 24 hour format. Text Input fields (like search engine or anywhere else) are not touched
Website will be fixed edited within half of 1 second (500ms)
There might be some JavaScript errors thrown, might not work everywhere, but seems to work not that terribly...
or GitHub
Firefox Extension store -OR- Chrome webstore
And yes from looks of it, extension release works a bit differently from greasyfork despite same exact code... like on this page https://www.mathsisfun.com/time.html ..? (violentmonkey changes am/pm time as well, but browser extension release doesn't touch it, and yes it works because this https://www.onlineconversion.com/date_12-24_hour.htm and other sites confirm it)
Inspired on work from Greenscreener: