Dylan K. Taylor d09af2e30d

World: don't assume that random Vector3 are int vectors ...

we can safely assume this for blocks (though the type info doesn't reflect it) but this is not safe to assume for random APIs that might be used by plugins.

2023-11-06 17:15:17 +00:00

..

configs

World: don't assume that random Vector3 are int vectors

2023-11-06 17:15:17 +00:00

rules

Fix CS

2023-09-20 19:44:53 +01:00

stubs

Remove dead PHPStan stub

2023-08-21 14:57:26 +01:00

analyse-for-current-php-version.neon.php

Workaround PHPStan "feature" phpstan/phpstan#7701

2022-08-20 16:29:26 +01:00

bootstrap.php

Use PHP-CS-Fixer to enforce file header presence

2022-06-04 17:34:49 +01:00