HomePhabricator

Updated mediawiki/extensions Project…

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

Details

Provenance
KrinkleAuthored on
Gerrit Code Review <gerrit@wikimedia.org>Committed on Jun 25 2015, 6:51 AM
Parents
rMEXT362cea75a634: Updated mediawiki/extensions Project…
Branches
Unknown
Tags
Unknown
ChangeId
Ib863288a9a4530b183cf5fdb692489363d82a50f

Event Timeline