basti f05436e9b9 Fix mediawiki integration ...

Accidentally deleted a line in a recent PR, and it slipped through the
review.

2020-10-29 15:12:50 +01:00

..

utils

Create utility modules for label processing

2019-05-08 16:14:41 +02:00

gitea.js

Replace deprecated contract API calls

2020-10-29 12:07:42 +01:00

github.js

Replace deprecated contract API calls

2020-10-29 12:07:42 +01:00

mediawiki.js

Fix mediawiki integration

2020-10-29 15:12:50 +01:00

zoom.js

Use new ethers.js NonceManager to handle transaction nonces

2020-06-27 18:24:44 +02:00