# 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 = "3327932472f512d2eb9e122b19702b335083fd9d"
# SHA-256 hash of the GitHub-generated tarball for the commit above.
sha256 = "ec342f07dcbe50d90c6e1e07cbf5e4771ca878ce9036d825dac46a3608120d0e"