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