wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-15 19:50:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/dist
History
Thiemo Kreuz fb5b120515 Minor fix-ups to type hints in JavaScript code 
This patch also removes misplaced empty lines at the beginning of a
scope. In PHP code we even have a sniff for these. In JavaScript we
don't, but I suggest to be consistent about this.

Change-Id: Ic104ae8fe176da1dafa9bc783402adecb71de1f0
2019-02-14 11:15:01 +01:00
..
index.js Fix <clipPath> capitalization in pointer-mask.svg 2019-02-13 23:27:59 +01:00
index.js.map.json Minor fix-ups to type hints in JavaScript code 2019-02-14 11:15:01 +01:00