wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-12-27 13:33:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
1101 commits 13 branches 25 tags 33 MiB
Commit graph

1101 commits

This branch
This branch
All branches
Author SHA1 Message Date
Ed Sanders ef196f31ff Fix positioning of line numbers in VE 
Change-Id: I349e80d8ad96e240ecb7afcb43dafdd72a76a308
 2021-01-03 00:19:13 +00:00
Ed Sanders 0aec99f386 Extend highlight into line number gutter 
Change-Id: I8947dc11dc671c44db084287ff1b3fe497eaa25b
 2021-01-01 19:55:06 +00:00
jenkins-bot d1c0acf718 Merge "Move all HTML wrapping into #highlight" 2021-01-01 18:52:10 +00:00
Ed Sanders e8add72d66 Move all HTML wrapping into #highlight 
This means all callers to #highlight get code wrapped
in the correct HTML.

This was done outside of #highlight before as the transformation
depended on $parser, so optionally pass in a $parser object if
the contents are going to go through the parser.

Change-Id: Ic5d5c341687e965804cb33da07dda23913718ff5
 2021-01-01 18:27:29 +00:00
Ed Sanders d3b4227ed4 Fix selector specificty for Minerva 
Bug: T270989
Change-Id: I55d6735002247b228b7c2a7406d684496b0b7f00
 2021-01-01 16:42:55 +00:00
Ed Sanders 10ec5067c5 Enable line numbers on code content pages 
Bug: T32773
Change-Id: I2eb8dcfe4d7bf751f998e1b2dd26a23cce69bf34
 2020-12-30 21:35:05 +00:00
Ed Sanders 98c644a639 Improve appearance of line numbers 
* Render a solid gutter that can take 3-4 digit line numbers
* Position line numbers absolutely in the gutter
* Add padding to code so that it doesn't wrap into the gutter

Change-Id: I7abb87452ad61808dad32b41c1d2d86b8ababb28
 2020-12-30 21:35:04 +00:00
Ed Sanders fe357519c7 Add correct classes to full page output 
Previously the full page output was missing the
-lang-<languagename> and mw-content-<dir> classes.

Change-Id: I54f4ed0a86e78a3a7ff1d670ebbdfdb6f05f86cc
 2020-12-30 20:31:38 +00:00
Ed Sanders f2ef11144a Display line numbers as generated CSS content 
This makes them unselectable in more browsers as the
user-select fix isn't supported everywhere (e.g. Safari).

Bug: T32773
Change-Id: I274632a1055e1f85679fbb29c81629104cc8b222
 2020-12-30 19:43:03 +00:00
Ed Sanders 6e558b37db Add small gap between line numbers and code 
Change-Id: Ie65128872f318a42677e52420338684ad8d814f8
 2020-12-30 19:43:03 +00:00
Ed Sanders 9c0e82878e Fix classname lineno->linenos 
Bug: T270296
Change-Id: Ia11c2f13161bfd5b8c1c7e898416373202736c76
 2020-12-30 19:43:00 +00:00
Ed Sanders 62cd4384ba Convert pygments.wrapper.css to LESS 
Change-Id: I3b221a146528cfc328666da40f99f3132d0ac700
 2020-12-30 15:31:33 +00:00
Translation updater bot 721cb16354 Localisation updates from https://translatewiki.net. 
Change-Id: I3b00fc665b25ebaa3d5694332dda8dd78f685bff
 2020-12-28 10:40:05 +01:00
Translation updater bot 59d8716af0 Localisation updates from https://translatewiki.net. 
Change-Id: I9190bfb6c7ac4a65366ef2fe0391b9164d571155
 2020-12-22 08:32:48 +01:00
Translation updater bot 8426bec5ef Localisation updates from https://translatewiki.net. 
Change-Id: I3e9aa900c14138c6481304e46b40b1bc1483d849
 2020-12-21 08:40:11 +01:00
libraryupgrader f50b52c97c build: Updating mediawiki/mediawiki-phan-config to 0.10.6 
Change-Id: Ib2c418aa6d8d110d579e376566579ccf118825ec
 2020-12-20 03:24:51 +00:00
libraryupgrader 322024dc4e build: Updating dependencies 
composer:
* mediawiki/mediawiki-phan-config: 0.10.4 → 0.10.5

npm:
* ini: 1.3.5 → 1.3.7
  * https://npmjs.com/advisories/1589

Change-Id: Ifdf41f7187ce3b1003b8756a5afb5af0033c04a0
 2020-12-11 10:41:33 +00:00
Translation updater bot 09c2dd66e4 Localisation updates from https://translatewiki.net. 
Change-Id: I7976b85cfb75f328b9ca09dea30bad694a2c6227
 2020-12-09 08:42:33 +01:00
Translation updater bot 88ec1a1fbb Localisation updates from https://translatewiki.net. 
Change-Id: I6eb1219e83d33b508106cc3a10690e0dedededc3
 2020-12-07 08:47:38 +01:00
libraryupgrader 4dd9dcaa54 build: Updating mediawiki/mediawiki-codesniffer to 34.0.0 
Change-Id: Ia9812baa9f91990cfbe30135df161ea9c8d4f106
 2020-12-07 03:00:20 +00:00
Translation updater bot da0798325e Localisation updates from https://translatewiki.net. 
Change-Id: I12e91a3d4e98c9864221b74b7cebba908ce9b3c6
 2020-12-04 08:34:07 +01:00
jenkins-bot d6d2231eb3 Merge "create_pygmentize_bundle: use pypi's JSON API" 2020-11-24 04:12:50 +00:00
Ori Livneh d2e9809554 Update pygments to 2.7.2 
Changes:
  <https://github.com/pygments/pygments/blob/2.7.2/CHANGES#L15-L158>

The 2.7.2 release contains fixes to existing lexers, as well as the
following new lexers:

  arrow, bare, devicetree, dmesg, dts, execline, fstar, gd, gdscript,
  ipython, ipython2, ipython3, ipythonconsole, kmsg, llvm-mir,
  llvm-mir-body, miniscript, mosel, ms, peg, pointless, promql, psysh,
  raku, reason, reasonml, ride, sieve, singularity, tid, tnt, usd, usda,
  webidl, and yang

To verify the integrity of the pygmentize binary, you can run
'create_pygmentize_bundle' and verify that the same pygmentize file is
created.

Change-Id: I0be3c1c204237b4a8873063e282be7ab8655be9d
 2020-11-23 22:16:20 +00:00
Ori Livneh 4f46b00108 create_pygmentize_bundle: use pypi's JSON API 
The old XML-RPC API is considered deprecated and is now rate limited,
such that making two queries in quick succession (like this script does)
hits the limit. Fix by using the JSON API.

While we're here, use the SHA256 sum instead of MD5.

Change-Id: Ib2156649e234d974cc4fc75807a5d140aa99bd44
 2020-11-23 14:06:42 -08:00
libraryupgrader 0c669a0acc build: Updating npm dependencies 
* grunt-stylelint: 0.15.0 → 0.16.0
* stylelint-config-wikimedia: 0.10.1 → 0.10.3

Change-Id: Ib26cb5e70a26c64c21580fc9d57fb082e68e6da8
 2020-11-22 10:44:04 +00:00
libraryupgrader 3727a802f2 build: Updating mediawiki/mediawiki-phan-config to 0.10.4 
Change-Id: Id8840c4a5d6155a4d57e649e4f80af11211f1ffd
 2020-11-20 19:41:32 +00:00
jenkins-bot ddf1c650ff Merge "Fix versions in README" 2020-11-18 00:26:04 +00:00
libraryupgrader 01287f51bc build: Updating mediawiki/mediawiki-codesniffer to 33.0.0 
The following sniffs are failing and were disabled:
* MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationProtected

Change-Id: Ibbd5bd7aa4040517ce46ab8bba3db19aa9237793
 2020-11-04 13:13:42 +00:00
Translation updater bot 612c9d2b21 Localisation updates from https://translatewiki.net. 
Change-Id: Ic9ae33701c1a40e16c62df4bbb036acad9d28123
 2020-11-02 08:53:55 +01:00
Translation updater bot ab9b4bb429 Localisation updates from https://translatewiki.net. 
Change-Id: I1784d5a5f71b9bbfcd6d62735ab8859582562336
 2020-10-26 08:32:15 +01:00
Translation updater bot dac457f55b Localisation updates from https://translatewiki.net. 
Change-Id: I5311ac3dbcb35d98273ccd2ea167864927d6deb3
 2020-10-22 08:31:41 +02:00
Freephile 24d418bced The word Python was misspelled 
Change-Id: Icb38cd1cc07d2a2be95cdf3254502af0417afdf8
 2020-10-07 17:30:05 +00:00
Reedy 005442046d Fix versions in README 
Change-Id: Iea1503eb7378a28d68ba8a30a76616b8077e1c11
 2020-10-06 18:10:18 +01:00
libraryupgrader 720096b77f build: Updating mediawiki/mediawiki-phan-config to 0.10.3 
Change-Id: Ic8682084991007cabfa600607247c1ff76747623
 2020-09-25 10:28:31 +00:00
Reedy 0f876f17b1 Fix PSR12.Properties.ConstantVisibility.NotFound 
Bug: T253169
Change-Id: Ibbf708a030504b1db61050cd2ef05280e9d52f2d
 2020-09-19 12:11:07 +01:00
Translation updater bot 819d4aa620 Localisation updates from https://translatewiki.net. 
Change-Id: I10e0f68868cdf53901d32f52a66e24b54c08555b
 2020-09-06 20:56:49 +02:00
libraryupgrader a58c6276ae build: Updating npm dependencies 
* eslint-config-wikimedia: 0.16.2 → 0.17.0
* grunt: 1.2.1 → 1.3.0

Change-Id: I742849cef5777470bbab488c2764aab4fea81a30
 2020-09-04 23:11:26 +00:00
Translation updater bot 4d17040250 Localisation updates from https://translatewiki.net. 
Change-Id: I7449eb67890122f1b2216c990b1d3d5aaac500fd
 2020-08-12 08:19:53 +02:00
Translation updater bot aaa6cb25de Localisation updates from https://translatewiki.net. 
Change-Id: Ibe5e3d16a8fa050a761415bb6afacf787d5e785a
 2020-07-31 08:46:42 +02:00
Translation updater bot fbac97c084 Localisation updates from https://translatewiki.net. 
Change-Id: I881ccccfa2c1f019916bb63106b49e4a3b594ef0
 2020-07-30 08:36:20 +02:00
Translation updater bot 3ddd5b3957 Localisation updates from https://translatewiki.net. 
Change-Id: Id25fe5aed46d3ac98cf7a32067863f362d002bcc
 2020-07-27 08:38:30 +02:00
Translation updater bot 0020e8c2d1 Localisation updates from https://translatewiki.net. 
Change-Id: Ic0a308dbc6f6e08689e97facc9c19e3d47b892f8
 2020-07-21 09:13:36 +02:00
Translation updater bot ffe1b2670a Localisation updates from https://translatewiki.net. 
Change-Id: Idac159d9ece509f7949b724c5ffeee3121b77742
 2020-07-17 08:29:25 +02:00
libraryupgrader 6bd7a93f3f build: Updating lodash to 4.17.19 
* https://npmjs.com/advisories/1523
* CVE-2019-10744

Change-Id: Iabe6fbf98c2677ab26601cdee58a5acafcd6c869
 2020-07-11 05:04:06 +00:00
jenkins-bot c886982ccc Merge "build: Update eslint-config-wikimedia to 0.16.2" 2020-07-08 14:08:00 +00:00
Translation updater bot aaeb4172e7 Localisation updates from https://translatewiki.net. 
Change-Id: I4c3a3f473bd002410a4fe13fb81c623d48606de6
 2020-07-08 09:11:13 +02:00
Ed Sanders 59252b8a7a build: Update eslint-config-wikimedia to 0.16.2 
Change-Id: Ic734db29e30b01ed2fe2091a00bcd125fe04a2cf
 2020-07-07 22:04:53 +01:00
Translation updater bot 823eb06d95 Localisation updates from https://translatewiki.net. 
Change-Id: I61244669fbeeeefb700dec2617022a0d3a02430f
 2020-07-06 09:54:48 +02:00
Translation updater bot 6038c9fd9a Localisation updates from https://translatewiki.net. 
Change-Id: I3eec700dc6292295e3fb9b9b1e478c3c3468c063
 2020-07-03 08:34:06 +02:00
Translation updater bot b053bb17f7 Localisation updates from https://translatewiki.net. 
Change-Id: I8bc0aa0e48a2bed57d0d0f46122d43dc072bc7b3
 2020-06-30 08:35:07 +02:00