add wukong (#2239)

2019-07-17 14:16:09 +01:00
parent bb3b01a0b0
commit b042009088
2 changed files with 7 additions and 3 deletions
--- a/docs/extensions.md
+++ b/docs/extensions.md
@ -243,8 +243,11 @@ Check out [microbit.org](http://microbit.org/resellers/) for more information on
    "name": "MakerBit Pins",
    "url": "/pkg/1010Technologies/pxt-makerbit-pins",
    "cardType": "package"
-},
-{
+}, {
+    "name": "Elecfreaks Wukon",
+    "url": "/pkg/elecfreaks/pxt-wukong",
+    "cardType": "package"
+}, {
   "name": "Pi Supply tinker:kit",
   "url": "/pkg/PiSupply/pxt-tinker-kit",
   "cardType": "package"