Public Git Hosting - hiphop-php.git/commit

commit	f4d32165428114745a28ec67c5111ea0601ca09d
author	Matt Schellhas <rms@fb.com>
	Wed, 17 Jul 2019 22:38:06 +0000 (17 15:38 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Wed, 17 Jul 2019 22:53:29 +0000 (17 15:53 -0700)
tree	15e75d71dfbd7dc344b427fc26cb4e02cadacde8	tree \| snapshot (tar.gz zip)
parent	0363e5bb34f034e6c5b3779979bac1b3ee066ec1	commit \| diff

Add flag and functionality to disable the ability to HH_FIXME or HH_IGNORE_ERROR 5000-5999 codes

Summary: 5000 errors are reserved for linters. They should be ignored via lint specific suppression comments.

Reviewed By: kmeht

Differential Revision: D16289389

fbshipit-source-id: 4aca78554215f1744cb4776f537524e28de69acb

RSS Atom

hphp/hack/src/errors/errors.ml		diff \| blob \| blame \| history
hphp/hack/src/errors/errors.mli		diff \| blob \| blame \| history
hphp/hack/src/hh_single_type_check.ml		diff \| blob \| blame \| history
hphp/hack/src/options/globalOptions.ml		diff \| blob \| blame \| history
hphp/hack/src/options/globalOptions.mli		diff \| blob \| blame \| history
hphp/hack/src/server/serverConfig.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverGlobalState.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/lint/lint_core.ml		diff \| blob \| blame \| history