bump version 0.7.3

wikimedia-gadgets · Mar 1, 2021 · b84cf34 · b84cf34
1 parent 0098d73
commit b84cf34
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -43,6 +43,7 @@ Since it is just a type import, it doesn't generate any JavaScript. Hence, such
 ---
 
 TODO:
+
 -   Add doc comments for everything. Presently they are rarely there.
 -   Add types for more jQuery plugins.
-- Add mw.cookie
+-   Add mw.cookie
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
     "name": "types-mediawiki",
-    "version": "0.7.2",
+    "version": "0.7.3",
     "description": "TypeScript definitions for MediaWiki JS interface",
     "types": "index.d.ts",
     "scripts": {