mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-14 08:21:38 +00:00
4d7d55ec14
This name is more fitting to the new purpose of this method. Change-Id: I48f5e9a3ae737a104270699742a96923c92e12e8 |
||
---|---|---|
.. | ||
ext.popups.schemaPopups.js |