Update extension filename in Travis scripts

Author: jmikola

.travis.scripts/compile.sh

@@ -30,7 +30,7 @@ wget -O run-tests.php https://raw.githubusercontent.com/php/php-src/master/run-t
 
 rm -rf tmp-lcov tmp # coveralls may pick it up and lie about our coverage
 
-echo "extension=phongo.so" >> `php --ini | grep "Loaded Configuration" | sed -e "s|.*:\s*||"`
+echo "extension=mongodb.so" >> `php --ini | grep "Loaded Configuration" | sed -e "s|.*:\s*||"`
 
 MONGO=`which mongo`
 mongod --version