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

1 commit

Author SHA1 Message Date
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