mongodb/mongo-php-driver — pull request #563 by bjori (2013-12-03 19:40:56+00:00)
Title: Really fix build on 5.3.3. Fixes PHP-948

These version macros really need to be unified