Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  ca9052f1e4eb555608a93af89858e89107ba5826

Make sure highlighted VE tools don't overlap bottom border

OO-ui tools have negative margins by default for some reason.
Setting bottom margin explicitly to 0 so that it doesn't overlap
the border underneath.

Change-Id: I867d5f322c3757e3720c3dbd4d22e02b4387849a