Extension:Oppia

What does this extension do?
The Oppia extension allows embedding an Oppia exploration in a wiki page.

Usage

 * id:oppia-id of the exploration
 * version:specific version of the exploration (currently ignored)
 * src:host of the exploration
 * autoload:if set to true, the exploration is automatically loaded; if false, the user is prompted before loading

Installation

 * 1) Install the extension from git.
 * 2) Copy the git-player-?.?.?.js file from the Oppia project to the js subdirectory of the extension.
 * 3) Add to your  :
 * 1) Copy the git-player-?.?.?.js file from the Oppia project to the js subdirectory of the extension.
 * 2) Add to your  :
 * 1) Add to your  :