Stronger typing in Widget class (HTMLOutputter)

diff --git a/lib/widget.php b/lib/widget.php
index d068dea0f031b295a85fa73232c223abd437fb4e..11f4d08cb8ed1b484d8ad1c0bbe1bdabfdf2e8fe 100644 (file)
--- a/lib/widget.php
+++ b/lib/widget.php
@@ -63,7 +63,7 @@ class Widget
      * @param HTMLOutputter $out output helper, defaults to null
      */
 
-    function __construct($out=null)
+    function __construct(HTMLOutputter $out=null)
     {
         $this->out = $out;
     }