{"jsxgraph": {"root": "extensions/jsxgraph", "stylesheets": ["jsxgraph.css"], "javascripts": ["jsxgraph.js"]}, "quantities": {"root": "extensions/quantities", "stylesheets": [], "javascripts": ["quantities.js"]}, "random_person": {"root": "extensions/random_person", "stylesheets": [], "javascripts": ["random_person.js"]}, "written-number": {"root": "extensions/written-number", "stylesheets": [], "javascripts": ["written-number.js"]}}