# PHPantom stubs lock file — pinned phpstorm-stubs version.
#
# This file is checked into version control and read by build.rs to
# ensure reproducible builds with integrity-verified stubs.
#
# To update, run: scripts/update-stubs.sh
# The GitHub repository to fetch stubs from.
# Use "JetBrains/phpstorm-stubs" for upstream, or a fork like
# "AJenbo/phpstorm-stubs" for fixes not yet merged upstream.
repo = "AJenbo/phpstorm-stubs"
# The pinned commit SHA.
commit = "0ea6b443d24260c23d1266e73d2db9b0b265bc6c"
# SHA-256 hash of the GitHub-generated tarball for the commit above.
sha256 = "3b97df3d79c9631adc3c415b145a6a11b0aa90696ebf1f791c865d84e4f40782"