Edu-Sharing TinyMCE-Editor Plugin

The edu-sharing tiny editor plugin is used to add edu-sharing content when using tiny.

The plugin adds a button to the tiny button bar. After clicking it, the user can open the connected
edu-sharing repository and choose or upload a file of his choice. Having done so, they can choose from some 
display options, such as size and version, and add the content to the editor body.

Furthermore, the user can edit properties of their inserted objects such as caption, width and height