Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2017-07-20 23:45:37 +0300
committerPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2017-07-20 23:45:37 +0300
commit1a7a259111ec6cadcd43bda4fee6fca1e129657c (patch)
tree9f4bc41af6baa36586572a9e25ee64766cba32f0 /README.markdown
parent4766c257a31a7faf66a8ec0913b057d88ad47195 (diff)
Coverity widget
Diffstat (limited to 'README.markdown')
-rw-r--r--README.markdown1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.markdown b/README.markdown
index 4ca1da85..d2532ed5 100644
--- a/README.markdown
+++ b/README.markdown
@@ -1,6 +1,7 @@
# PhpRedis
[![Build Status](https://travis-ci.org/phpredis/phpredis.svg?branch=develop)](https://travis-ci.org/phpredis/phpredis)
+[![Coverity Scan Build Status](https://scan.coverity.com/projects/13205/badge.svg)](https://scan.coverity.com/projects/phpredis-phpredis)
The phpredis extension provides an API for communicating with the [Redis](http://redis.io/) key-value store. It is released under the [PHP License, version 3.01](http://www.php.net/license/3_01.txt).
This code has been developed and maintained by Owlient from November 2009 to March 2011.