Force the value of Dumper::setIndentation($num) to be of type integer.

2012-08-07 09:40:56 +02:00 · 2012-08-07 09:40:56 +02:00 · 3e1a1abd5d
parent 5be7237b69
commit 3e1a1abd5d
1 changed files with 1 additions and 1 deletions
--- a/src/Symfony/Component/Yaml/Dumper.php
+++ b/src/Symfony/Component/Yaml/Dumper.php
@ -32,7 +32,7 @@ class Dumper
     */
    public function setIndentation($num)
    {
-        $this->indentation = $num;
+        $this->indentation = (int) $num;
    }

    /**