The Extension:VisualEditor page on Mediawiki.org still guides people to use Parsoid/JS. Where is the best place to find instructions for migrating a wiki installation from Parsoid/JS to Parsoid/PHP? If documentation doesn't exist, I can help create it once I understand the steps. I've also opened a topic on the Extension_talk:VisualEditor page if that's a more convenient place to discuss: https://www.mediawiki.org/wiki/Topic:Vd9tmhoaax7re3it
Thank you! Michael