Extension:PopcornEditor/de-formal

The PopcornEditor extension embeds the standalone version of Mozilla's Popcorn in-browser video editor, allowing Popcorn video projects to be stored as media files on the wiki.

Currently this is early demoware, allowing basic saving but has no playback outside of the editor yet.