psalm / psalm.dev

Has the source for psalm.dev
https://psalm.dev
MIT License
11 stars 15 forks source link

Use PHP 8.2 by default #93

Closed weirdan closed 1 year ago

weirdan commented 1 year ago

And use a single constant instead of hardcoding the default version in several places

orklah commented 1 year ago

Now that we switched to 8.3 for callmaps, shouldn't we switch this too? Maybe even reuse the same consts?

EDIT: I'm an idiot :) this is the psalm.dev repo!