Completed
Push — develop ( 9f4feb...fa353b )
by greg
03:41
created
src/PlaygroundGame/Service/Game.php 1 patch
Doc Comments   +3 added lines patch added patch discarded remove patch
@@ -2017,6 +2017,9 @@
 block discarded – undo
2017 2017
         return $a;
2018 2018
     }
2019 2019
 
2020
+    /**
2021
+     * @param \Zend\InputFilter\InputFilter $inputFilter
2022
+     */
2020 2023
     public function decorate($element, $attr, $inputFilter)
2021 2024
     {
2022 2025
         $element->setAttributes(
Please login to merge, or discard this patch.