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

sun · sun · commit 3e1a1abd5dda · 2012-08-07T09:40:56.000+02:00
diff --git 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;
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ class Dumper`
`32`	`32`	`*/`
`33`	`33`	`public function setIndentation($num)`
`34`	`34`	`{`
`35`		`- $this->indentation = $num;`
	`35`	`+ $this->indentation = (int) $num;`
`36`	`36`	`}`
`37`	`37`
`38`	`38`	`/**`