Wiki gadget for Asciinema files
This summer I made an Asciinema recording of building LibreOffice under Ubuntu. I would like to be able to embed it on our wiki. I believe Asciinema recordings could be useful tutorials for other things down the line (you can copy text from them).
The Asciinema player https://github.com/asciinema/asciinema-player requires two files: asciinema-player.css and asciinema-player.js (.js right before closing the body element).
Then the recording is added in the article like so:
I hope the markup would be allowed by default and we would not need an additional extension. In the worst case we would have to use https://www.mediawiki.org/wiki/Extension:HTML_Tags
It would appear the .css and .js files could be made available as a gadget (the extension is shipped with MW): https://www.mediawiki.org/wiki/Extension:Gadgets