A WebPPL.org extension that lets the user import/export .md files or workspaces and convert datasets into variables.

Latest Version

Version
1.1.1
Update
January 1, 2022
Size
17.33KiB
Developer
Category
Users
74
Rating
5 ★
Manifest Version
3
Web Store Status
Languages Support
English
See more
Permissions
See more

Source Manifest.json

{"update_url": "https://clients2.google.com/service/update2/crx","manifest_version": 3,"name": "WebPPL Import/Export Enabler","short_name": "WPPL Import/Export","version": "1.1.1","description": "A WebPPL.org extension that lets the user import/export .md files or workspaces and convert datasets into variables.","author": "\u00d6zg\u00fcn Ozan K\u0131l\u0131\u00e7","action": {"default_title": "WebPPL Import/Export Enabler","default_icon": {"16": "icon_16.png","32": "icon_32.png","128": "icon_128.png"}},"content_scripts": [{"js": ["script.js"],"css": ["style.css"],"matches": ["*://webppl.org/*"]}],"web_accessible_resources": [{"resources": ["modal-import.html", "modal-dataset.html", "modal-export.html"],"matches": ["*://webppl.org/*"]}]}
Read more

Similar Extensions