mirror of
https://github.com/AnimeThemes/animethemes-server.git
synced 2026-10-30 19:23:57 +01:00
5 lines
88 B
JSON
5 lines
88 B
JSON
{
|
|
"$schema": "/phpactor.schema.json",
|
|
"language_server_phpstan.enabled": true
|
|
}
|