d53908d6 was not the patch
I meant to apply. This correctly adds some desired "wiggle" room
to allow for changes to the unstable mediawiki icon and button
styles.

Change-Id: I4675be1e0b4b2a2a34507d85c551cc3234f1a9f6