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

2 commits

Author SHA1 Message Date
Ed Sanders 1528c7740f build: Update linters 
Change-Id: Idaed1bf627d8d92968b422ad428acd29a179d94a
 2023-12-18 17:09:57 +00:00
Ed Sanders ccb909be60 De-emphasise line numbers 
Bug: T271956
Change-Id: I336e7a319a7a4eb5f6fc9f07b149d584a15c73c4
 2021-01-13 17:07:02 +00:00