During pre-commit, check whether all PHP files in `src/` have the required license header