1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00

Re-enable platform-check

This makes sure that we output sensible error (not very pretty, but
useful) when required extensions are missing.

Fixes vimeo/psalm#7560
This commit is contained in:
Bruce Weirdan 2022-11-26 02:57:49 -04:00
parent 45ed177693
commit b8ca90c38e
No known key found for this signature in database
GPG Key ID: CFC3AAB181751B0D

View File

@ -68,7 +68,7 @@
},
"optimize-autoloader": true,
"sort-packages": true,
"platform-check": false
"platform-check": true
},
"extra": {
"branch-alias": {