.idea/jsLibraryMappings.xml
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="JavaScriptLibraryMappings">
<file url="PROJECT" libraries="{ei, embed, jsxgraph, jsxgraphcore, mathjax}" />
<includedPredefinedLibrary name="Node.js Core" />
</component>
</project>