wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-14 19:14:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
692 commits 162 branches 5 tags 26 MiB
Commit graph

1 commit

Author SHA1 Message Date
Krenair 7a9b6a5168 Save real tabs and allow configuration by users via JS hook 
Bug: 39616
Change-Id: I64c3b9b53f1265f5b9c19edb480040113fa85590
 2013-08-25 18:45:16 +01:00