mediawiki-skins-Vector

wikimedia/mediawiki-skins-Vector

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-18 13:05:50 +00:00

Commit graph

Author	SHA1	Message	Date
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
jdlrobson	58457f8ae8	Dev: Vector is rearranged like other skins and extensions A resources folder is the defacto-standard across mediawiki repos. Vector now mirrors those by describing where files served by ResourceLoader are located. Change-Id: Ib7d8575112e8afaaa84221a6f30a15b34b51eb24	2020-01-28 16:57:38 +08:00

Author

SHA1

Message

Date

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

jdlrobson

58457f8ae8

Dev: Vector is rearranged like other skins and extensions

A resources folder is the defacto-standard across mediawiki repos.
Vector now mirrors those by describing where files served by ResourceLoader
are located.

Change-Id: Ib7d8575112e8afaaa84221a6f30a15b34b51eb24

2020-01-28 16:57:38 +08:00

2 commits