add new sparkfun extensions (#2238)

* add new sparkfun extensions * remove gator environment pending fixes
2019-09-11 13:08:37 +01:00
parent cc5980fbec
commit 87f736cede
2 changed files with 15 additions and 0 deletions
--- a/docs/extensions.md
+++ b/docs/extensions.md
@ -321,6 +321,18 @@ Check out [microbit.org](http://microbit.org/resellers/) for more information on
    "name": "gator:temp Temperature Sensor",
    "url":"/pkg/sparkfun/pxt-gator-temp",
    "cardType": "package"
+}, {
+    "name": "gator:microphone Microphone",
+    "url":"/pkg/sparkfun/pxt-gator-microphone",
+    "cardType": "package"
+}, {
+    "name": "gator:soil Soil Sensor",
+    "url":"/pkg/sparkfun/pxt-gator-soil",
+    "cardType": "package"
+}, {
+    "name": "gator:temp Particle Sensor",
+    "url":"/pkg/sparkfun/pxt-gator-particle",
+    "cardType": "package"
 }, {
    "name": "MonkMakes Sensor",
    "url":"/pkg/monkmakes/pxt-sensor",