wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-15 11:59:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
7047 commits 163 branches 0 tags 73 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders ffe3363d09 build: Update eslint-config-wikimedia to 0.16.1 
Change-Id: I2ce14429f9440e69e36fa349847f58fb32862f2a
 2020-06-15 16:19:00 +01:00
Timo Tijhof 12eff85cf7 jsduck: Remove custom @source tag 
Only used in external.js to render a simple link. These methods
don't have a regular description and as such the link renders
effectively the same way in the same place without `@source`.

Change-Id: I83cd524b6b53e67c5c2d18258c804ebd49a29b74
 2016-09-21 00:51:46 +01:00
Moriel Schottlender 2d184c087c Add JSDuck support and fix errors 
Change-Id: I7816110862d9ca1b16e2ec9ce842d240bee6b46b
 2016-05-11 14:07:12 -07:00