From 2f97d5d206d00872b945309e13f5eaa8fe3ce252 Mon Sep 17 00:00:00 2001
From: Mikael Nordfeldth <mmn@hethane.se>
Date: Sun, 1 Jun 2014 13:09:47 +0200
Subject: [PATCH] Stronger typing in Widget class (HTMLOutputter)

---
 lib/widget.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/widget.php b/lib/widget.php
index d068dea0f0..11f4d08cb8 100644
--- 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;
     }