Merge branch 'hotfix/4336' into develop

Close zendframework/zendframework#4336
zendframework · Apr 29, 2013 · d6bc574 · d6bc574
commit d6bc574
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Adapter/Console.php b/src/Adapter/Console.php
@@ -209,7 +209,7 @@ public function getOutputStream()
      */
     public function setWidth($width = null)
     {
-        if ($width === null || !is_integer($width)) {
+        if ($width === null || !is_int($width)) {
             if (substr(PHP_OS, 0, 3) === 'WIN') {
                 // We have to default to 79 on windows, because the windows
                 // terminal always has a fixed width of 80 characters and the