mediawiki-extensions-CodeMi.../resources/modules
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
..
ve-cm VE: Disable mw-editfont when using CodeMirror 2017-07-20 21:30:22 +00:00
popup.less Popup: Use built-in features of PopupWidget instead of custom CSS 2017-07-20 21:30:45 +00:00