Thread:User talk:Superm401/VisualEditor Parsoid.php revert/reply (2)

Thanks,

My confusion arose because the https://www.mediawiki.org/wiki/Parsoid/Setup only talks about setting up the nodejs service. The only reference to the PHP repository on the Parsoid page is in "Development happens in the Parsoid extension in Git (see tree)" so it's not immediately obvious from the Parsoid page that a PHP extension exists (or its purpose).