GitHub / Devpodio / theia-php-extension
PHP Extension for Theia IDE
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Devpodio%2Ftheia-php-extension
Fork of theia-ide/theia-php-extension
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: TypeScript
Size: 578 KB
Dependencies parsed at: Pending
Created at: about 6 years ago
Updated at: over 5 years ago
Pushed at: over 5 years ago
Last synced at: about 2 years ago
Loading...