HomePhabricator

Updated mediawiki/extensions Project…

Authored by Krinkle.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/SyntaxHighlight_GeSHi f834b719b99c5b950d50c27cec86712c30159d25

Remove obsolete mw-highlighter styles

The styles in MediaWiki core for <pre> already cover this. And
for skins that want different styles, SyntaxHighlight should not
have been overriding it.

Bug: T103780
Change-Id: Ib863288a9a4530b183cf5fdb692489363d82a50f

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTb610fc03c29d: Updated mediawiki/extensions Project… (authored by Krinkle).Jun 25 2015, 6:51 AM