stubs.lock

# 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 = "JetBrains/phpstorm-stubs"

# The pinned commit SHA.
commit = "517b9ad1adaf2c5453c00ec2fbb02d192a4a9b6c"

# SHA-256 hash of the GitHub-generated tarball for the commit above.
sha256 = "d1c4b5363a87d6117feed9d8f6e0a9ddb9b0e3cdf0851a235bcc9caddfbe3e91"