wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 23:24:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources
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
..
dist Minor fix-ups to type hints in JavaScript code 2019-02-14 11:15:01 +01:00
ext.popups Remove popups from critical rendering path 2018-03-13 08:44:31 -07:00
ext.popups.images Add default OOUI reference icon to all reference popups 2019-01-29 17:06:40 +01:00