Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixed wording. Optional things can not be required.
Also, the word "extension" should be used instead of "library" as the library can be installed on the server but it does not automatically mean PHP can use it.
- Loading branch information