wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-24 07:34:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources
History
jdlrobson fe654d7f5e Hygiene: namespaceID => namespaceId 
For consistency with pageId and sessionId let's rename
namespaceID to namespaceId

Change-Id: Id0f6f6434691b62d3c5c7ae941970b79e0a99366
2018-02-26 10:23:38 -08:00
..
dist Hygiene: namespaceID => namespaceId 2018-02-26 10:23:38 -08:00
ext.popups Centering settings dialog and overlay 2018-02-14 17:54:38 +01:00
ext.popups.images Use standard close icon 2017-11-01 17:00:11 +00:00