wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-12-18 00:30:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/dist
History
MusikAnimal efd6682398 CM6: ensure search panel is in the same direction as the interface lang 
We don't have access to the HTML attributes for .cm-panels, so we just
use CSS to set the direction.

Bug: T359611
Change-Id: I1d40ae4f7dc093f585051d388c70cde151faa5e6
2024-04-09 19:20:18 -04:00
..
codemirror.js CM6: ensure search panel is in the same direction as the interface lang 2024-04-09 19:20:18 -04:00
codemirror.mode.mediawiki.js
codemirror.wikieditor.mediawiki.js
vendor.js