Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Useless cat, consider using grep -c instead of grep|wc, adding double…
… quote to prevent globbing and word splitting, and update PHP version 7.2.2
- Loading branch information