wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2025-01-05 17:24:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
297 commits 10 branches 15 tags 52 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 7fe9e2e762 Popup: Use built-in features of PopupWidget instead of custom CSS 
* Use OOUI buttons for the actions.
* Make the widget wider to accommodate longer titles in
  different languages.
* Don't show if CM already enabled

Change-Id: Ibde461a99929565c15b5e7c5ef3ad88e163fba05
 2017-07-20 21:30:45 +00:00
Niharika29 99e31d152f Show a popup for first time Codemirror users 
Bug: T165003
Change-Id: I545a57bdb273ab6906711e2d65dc029293ecc02a
 2017-06-29 00:20:14 +00:00