Welcome to the new design! Please report any bugs or issues, thanks :)
Web Dev + WordPress + Security

RefreshMints: Refresh Stats Bookmarklets for Mint 2

[ Mint Icon ] Last week, I finally got around to upgrading to Mint 2.14. The new version is quite impressive, and well worth the time (and cash) spent upgrading. In the process, however, one of my favorite, most heavily used bookmarklet things ceased to work.

Before the upgrade, I had been enjoying the highly useful Refresh-All bookmarklet by Jonathan Snook. Snook’s Mint-refresh bookmarklet made it super-easy to update all Mint data panels without having to refresh the entire page. Using the bookmarklet is much faster that reloading the browser, and there is even an alternate version that will refresh panels automatically at user-specified intervals.

Needless to say, after pimping the Mint 2 upgrade, I was bummed to discover that my tried-&-true Mint-refresh bookmarklet had ceased to work. Fortunately, Mint developer Shaun Inman was on top of the game, having transformed Snook’s bookmarklet into a full-fledged pepper exclusively compatible with Mint 2. Unfortunately, the Mint Refresh pepper — as awesome and useful as it is — functions only at specified intervals. As far as I could tell, the Mint Refresh pepper provides no support for the manual, on-demand refreshing of all Mint panels. Unlike its highly useful predecessor, it’s automatic or not at all.

So, rather than cry about it, or bug Shaun with more nit-picking, I tweaked his lovely Refresh pepper, pillaged its JavaScript, and tweaked it to do my bidding (insert maniacal laughter here). The result is a splendid collection of four “RefreshMints” — automatic and manual panel-refreshment favelets for both Mint versions 1+ and 2+..

RefreshMints for Mint 1

Save either as a bookmarklet and click to refresh your Mint (version 1+) panels without reloading the entire page1:

RefreshMints for Mint 2

Save either bookmarklet and click to refresh your Mint (version 2+) panels without reloading the entire page:

Now that I have done all the work, perhaps someone will update their official Refresh pepper ;)

Footnotes

  • 1 The Auto-RefreshMint time interval is set in milliseconds. The default interval is 900,000 milliseconds, which is equivalent to 15 minutes. To adjust this value, replace the 900000 in the code to something more suitable for you (just remember to be merciful to your server — setting a value of 1000ms, for example, is a bad idea).

Jeff Starr
About the Author
Jeff Starr = Creative thinker. Passionate about free and open Web.
GA Pro: Add Google Analytics to WordPress like a pro.
Welcome
Perishable Press is operated by Jeff Starr, a professional web developer and book author with two decades of experience. Here you will find posts about web development, WordPress, security, and more »
USP Pro: Unlimited front-end forms for user-submitted posts and more.
Thoughts
Checking in to anyone listening. Stay safe. Pay attention. Don't get lazy.
What's up with Plesk UI lately? Especially on Chrome it looks just awful, all kinds of broken. Come on Plesk devs get it together.
Things get stressful, I try to pray. Not always easy, but always helps to relax and regain focus.
Nice new speed checker at fastorslow.com.
Easy way to exclude certain tests from WP Site Health: Site Health Tool Manager
Excellent (and free) tool for getting tons of site SSL infos: whynopadlock.com
Everyone just stay home and hide forever. Brilliant idea.