picoExtension.js on master and scratch_extensions/picoExtension.js on gh-pages are different. Idk which is more recent but here is diff from master file to gh-pages file:
I'd assume the version on gh-pages is updated because it's the official extension but not completely sure.
picoExtension.js on master and scratch_extensions/picoExtension.js on gh-pages are different. Idk which is more recent but here is diff from master file to gh-pages file:
I'd assume the version on gh-pages is updated because it's the official extension but not completely sure.