D Wiki: run.dlang.io integration?

[WebFreak001]

On Thursday, 16 July 2020 at 13:54:56 UTC, aberba wrote:
> On Thursday, 16 July 2020 at 13:41:31 UTC, aberba wrote:
>> On Thursday, 16 July 2020 at 09:47:02 UTC, WebFreak001 wrote:
>>> [...]
>>
>> Since its based on WikiMedia, searched an came up with this 
>> [1] to embed in iframe
>>
>> 1. https://www.mediawiki.org/wiki/Extension:Iframe
>
> Also the D Tour uses codemirror [1] which has an extension for 
> wikimedia [2]
>
> 1. https://codemirror.net/index.html
> 2. https://www.mediawiki.org/wiki/Extension:CodeMirror

Yeah an extension combining CodeMirror and adding another tab or 
splitting the container for the output, executed by run.dlang.io 
would be a cool addition to the wiki and would not be blocked as 
easily as iframes.