mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-19 02:30:45 +00:00
c35715bdec
This gets rid of a little bit of code duplication, and makes the interfaces all conform to one standard again after I05ed4b8 left them in a little inconsistent (but properly documented) state. Bug: T214970 Change-Id: If8407c1a48aff1cb31fc2e74b3c2b846e79a3cb5 |
||
---|---|---|
.. | ||
templates | ||
index.less | ||
mixins.less | ||
pointer-mask.svg | ||
renderer.js | ||
settingsDialog.js | ||
settingsDialogRenderer.js | ||
settingsDialogRenderer.less | ||
thumbnail.js | ||
variables.less |