User blog comment:MisterWoodhouse/The Unified Community Platform Editor and our first release date/@comment-37700002-20200309174248/@comment-44605201-20200309175106

I think it will be a MediaWiki extension, so it will be PHP.

Not sure, though.