Check whether all PHP files in `src/` have the required license header