I figured out my problem. It was an error in the php.ini file itself.
Specifically, the editor I was using added a new line character, which split a comment into two pieces. The second piece went on a new line, but wasn't preceded by a comment character.
After I fixed it, restarted the server, everything worked fine.