Merge pull request redis-developer#439 from brianb12321/brianb12321-patch-1

Fix extra "r" in PHP develop page

Author: SuzeShardlow

docs/develop/php/index-php.mdx

@@ -54,7 +54,7 @@ apt install pkg-php-tools
 pecl install redis
 ```
 
-### Step 4. Opening a Connection to Redis Using PhpRredis
+### Step 4. Opening a Connection to Redis Using PhpRedis
 
 The following code creates a connection to Redis using Phpredis