Easier selfhosting of Draw.io?

[poVoq]

As Draw.io can also be easily selfhosted, see: https://github.com/jgraph/drawio
I tried exchanging all instances of https://www.draw.io in ext.drawioeditor.js with my selfhosted version's URL and it seems to be working fine.
Other than that .pdf export still seems to depend on the draw.io servers, this is the much better option I think.

Maybe an easy way to configure this would make sense?

[bohrsty]

Althought this is an old one, I faced the same requirement end of last year... I didn't know what was the correct way to contribute to a wikimedia extension (docs aren't very verbose on that subject), but I have the skill to solve it...
I opened a change on gerrit (https://gerrit.wikimedia.org/r/c/mediawiki/extensions/DrawioEditor/+/652185) that makes the drawio server configurable (knowing this isn't officially supported) as well as the language of the embeded editor...

I'd appreciate if somebody would review that change an merge it...