wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-12-18 08:40:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
907 commits 13 branches 15 tags 50 MiB
Commit graph

3 commits

Author SHA1 Message Date
Tim Starling 3a0c4b1f3e Use new ResourceLoader namespace 
Extensions using Phan need to be updated simultaneously with core due
to T308443.

Bug: T308718
Depends-On: Id08a220e1d6085e2b33f3f6c9d0e3935a4204659
Change-Id: I47dad71df97f38c55550f71baf6dae67dbe0a2ba
 2022-05-20 12:34:29 +10:00
Reedy 386bb03b01 Namespace extension 
Change-Id: I83913927e86d44726d3a1c3a682cc1f6e2372f07
 2022-02-06 15:16:42 +00:00
Thiemo Kreuz ff1c26e877 Add missing PHPUnit tests for better coverage 
Change-Id: I242aa52a24a11de3db106e5e2c73bd6f2a95d80c
 2020-10-08 10:18:45 +02:00