wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-18 05:01:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources
History
Stephen Niedzielski bd7bd75569 [JavaScript] Validate types 
Lift the mists of confusion by checking that all JavaScript types align.
No ignores! This is the JavaScript equivalent to Phan.

This patch adds the necessary infrastructure for verifying typing and
fixes the few flaws found.

Bug: T239262
Change-Id: I2557471421196ea46cd13dfb786a52968fbfcc97
2020-03-16 09:10:08 -06:00
..
skins.vector.js [JavaScript] Validate types 2020-03-16 09:10:08 -06:00
skins.vector.styles Merge "[fix] [LESS] Move print style variables to query" 2020-03-13 18:07:25 +00:00
CollapsibleTabsPlugin.d.ts [JavaScript] Validate types 2020-03-16 09:10:08 -06:00
mediawiki.d.ts [JavaScript] Validate types 2020-03-16 09:10:08 -06:00
skins.vector.styles.responsive.less Dev: Vector is rearranged like other skins and extensions 2020-01-28 16:57:38 +08:00