Save 15% on our Pro WordPress plugins with discount code: LAUNCH2021
Web Dev + WordPress + Security
eBook: WordPress Themes In Depth
WP Themes In Depth: Build and sell awesome WordPress themes.

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 = Web Developer. Security Specialist. WordPress Buff.
Digging Into WordPress: Take your WordPress skills to the next level.
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
WP 5.8 Gutenberg/Block Widgets is breaking many sites. Fortunately Disable Gutenberg makes it easy to restore Classic Widgets with a click.
Easily the most common exploit scan for WordPress is /{path}/wp-login.php.
Pushing 110+ ℉ for several days now, expected for at least another week or so.
After 12 intense weeks the Plugin Planet redesign is now live. Much work still happening behind the scenes.
June, July, August historically are slow months on the Web. Perfect time to get some real work done (think projects).
Redesigning Plugin Planet is one the most challenging things I’ve done online. Almost there, about another two weeks ’til launch.
I could listen to Mouse Rat all day.
Newsletter
Get news, updates, deals & tips via email.
Email kept private. Easy unsubscribe anytime.