wikimedia/mediawiki-core — pull request #3 by zaori (2013-07-24 16:41:47+00:00)
Title: Bug 27047: COMMONS MAN

Slightly prettier border styles for preformatted text. Specifically matches the overall vector style, but it's less code to put it here and isn't going to class with monobook.

Commons has used this look in general for years. Time to get it out into the world, man.