add dfplayer mini extension (#2417)

2019-09-11 13:08:57 +01:00
parent 87f736cede
commit 38cebd4087
2 changed files with 6 additions and 0 deletions
--- a/docs/extensions.md
+++ b/docs/extensions.md
@ -478,6 +478,10 @@ Check out [microbit.org](http://microbit.org/resellers/) for more information on
  "name": "51bit ColorBit",
  "url":"/pkg/51bit/ColorBit",
  "cardType": "package"
+}, {
+  "name": "51bit DFPlayer mini",
+  "url":"/pkg/51bit/dfplayermini",
+  "cardType": "package"
 }, {
  "name": "Kitronik Zip Tile",
  "url":"/pkg/KitronikLtd/pxt-kitronik-zip-tile",