| • bzimport | |
| Mar 2 2011, 8:32 PM |
| F7693: mediawiki.php | |
| Nov 21 2014, 11:31 PM |
Add "wikitext" as a language lexer in Pygments, as used in Extension:SyntaxHighlight
See attachment below for (incomplete) lang='mediawiki" patch.
Upstream Pygments feature request: https://github.com/pygments/pygments/issues/827
Older notes at the GeSHi feature requests: http://sourceforge.net/p/geshi/feature-requests/112/ ("wikitext") and https://sourceforge.net/p/geshi/feature-requests/84/ (MediaWiki). (but nothing in GeSHi's newer GitHub issues).
| Project | Branch | Lines +/- | Subject | |
|---|---|---|---|---|
| mediawiki/extensions/SyntaxHighlight_GeSHi | master | +168 -1 | [WIP] Add lang="mediawiki" syntax highlighting |
As an aside, this is somewhat of an upstream issue, since we just make the bridge that connects GESHI (the syntax highlighter) to mediawiki, we don't actually make the part that does the syntax highlighting. (With that said, if anyone's going to do this, it'd probably be us since we're the only one's who'd need a wikitext syntax highlighter)
intnumerix wrote:
Mediawiki syntax file (draft)
A small test for a mediawiki syntax file.
Some colors are ugly...
Attached:
intnumerix wrote:
I made a small test (see attachment). It is quite difficult to integrate html tags in mediawiki syntax ... geshi script delimiters cannot work here.
Yeah, there's no way for us to put it in..
If you're wanting to do this, the authors are quite accomodating
https://sourceforge.net/tracker/?group_id=114997&atid=670234
You will need to get it fully complete I imagine...
But easier to drop a request on their bugtracker. Then when it's added, and in a tagged release, we can update the version this extension references :)
[Removing RESOLVED LATER as discussed in http://lists.wikimedia.org/pipermail/wikitech-l/2012-November/064240.html . Reopening and setting priority to "Lowest". For future reference, please use either RESOLVED WONTFIX (for issues that will not be fixed), or simply set lowest priority. Thanks a lot!]
Change 213964 had a related patch set uploaded (by Spage):
[WIP] Add lang="mediawiki" syntax highlighting
Change 213964 abandoned by Jforrester:
[WIP] Add lang="mediawiki" syntax highlighting
Reason:
This now needs to be made upstream in Pygments.
@Seb35 thank you for your note on the upstream issue. Is there anything specific you need help on, to move this forward?
@ShakespeareFan00 Please read the task description first which does include an upstream issue link. Thanks.
Has this really been stalled with an upstream provider for 10 years? Can we just fork this?
I don't think a fork is necessary or helps us. Also this task was previously against GeSHi.
Someone needs to write the file and submit it upstream (pygments) for review, inclusion etc. AFAIK no one has attempted that just yet.
The upstream task at https://github.com/pygments/pygments/issues/827 has only existed since August 2019.
Thanks, must have misread the notes above, thought the patch was already submitted to them.
I have been working on this for quite a while. Now I am going though a bunch of tests, hopefully a PR would be filed soon.