mirror of
https://github.com/AnimeThemes/animethemes-server.git
synced 2026-09-03 11:15:04 +02:00
5 lines
88 B
JSON
5 lines
88 B
JSON
{
|
|
"$schema": "/phpactor.schema.json",
|
|
"language_server_phpstan.enabled": true
|
|
}
|