Last modified: 2013-05-29 07:43:54 UTC
Just a very small but handy thing to have!
Related URL: https://gerrit.wikimedia.org/r/65705 (Gerrit Change I10a5e31bb287077356931f12ab11bc59c31671cb)