Completed
Push — master ( e88ec9...da59d3 )
by Rémi
02:58
created
src/PlayersCollection.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -30,7 +30,7 @@
 block discarded – undo
30 30
     }
31 31
 
32 32
     /**
33
-     * @param mixed         $key
33
+     * @param string         $key
34 34
      * @param HangmanPlayer $value
35 35
      */
36 36
     public function set($key, $value)
Please login to merge, or discard this patch.