wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-15 18:49:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove obsolete mw-highlighter styles

Browse source 
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
This commit is contained in:
Timo Tijhof 2015-06-25 05:40:33 +01:00
parent 6b050bac51
commit f834b719b9
2 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -38,7 +38,6 @@
"mobile"
],
"styles": [
"pygments.wrapper.css",
"pygments.generated.css"
]
},

6
modules/pygments.wrapper.css
View file

@ -1,6 +0,0 @@
.mw-highlight {
font-family: monospace;
/* @noflip */
direction: ltr;
unicode-bidi: embed;
}