This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-CodeMirror
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-CodeMirror
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced
2024-12-19 09:10:39 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
fef7e8b285
mediawiki-extensions-CodeMi...
/
tests
History
Adam Wight
9f34c4d220
Remove $wgCodeMirrorEnableBracketMatching feature flag
...
Bug: T307188 Change-Id: Ibb21dea29c87d8fac898506c19f329273348c190
2022-06-13 10:34:41 +02:00
..
phpunit
Merge "Use new ResourceLoader namespace"
2022-05-24 23:46:15 +00:00
selenium
Remove $wgCodeMirrorEnableBracketMatching feature flag
2022-06-13 10:34:41 +02:00