GitHub repository: theia-ide/theia-php-extension
Primary language: TypeScript
Description: PHP Extension for Theia IDE