wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 02:04:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
675 commits 277 branches 0 tags 46 MiB
Commit graph

2 commits

Author SHA1 Message Date
Thiemo Kreuz ff1c26e877 Add missing PHPUnit tests for better coverage 
Change-Id: I242aa52a24a11de3db106e5e2c73bd6f2a95d80c
 2020-10-08 10:18:45 +02:00
Max Semenik c8f75d5ac5 Restore GetPreferences hook handler registration 
Accidentally removed in I1ad451acfd1

Bug: T198537
Change-Id: I71788de31a23373f4e0528211ce3ec89fc5f9d3b
 2018-07-03 14:25:01 -07:00