Use svg instead of png to get better image quality

diff --git a/README.md b/README.md
index 09e70e6a39f997e461034f3ef1377e52aa3bdb6f..7618ffe383f0b8886cea648e4a0ee027c71ae161 100644 (file)
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ The PHP Interpreter
 This is the github mirror of the official PHP repository located at
 http://git.php.net.
 
-[![Build Status](https://secure.travis-ci.org/php/php-src.png?branch=master)](http://travis-ci.org/php/php-src)
+[![Build Status](https://secure.travis-ci.org/php/php-src.svg?branch=master)](http://travis-ci.org/php/php-src)
 
 Pull Requests
 =============