From 06bff0b9b84d47c43f9bc8aff06a29d85ebb7ed0 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Tue, 14 Nov 2023 14:47:55 +0100
Subject: Add function param/return types, fix a lot more phpstorm complaints

---
 modules-available/main/page.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'modules-available/main/page.inc.php')

diff --git a/modules-available/main/page.inc.php b/modules-available/main/page.inc.php
index 016a510d..b0d7d125 100644
--- a/modules-available/main/page.inc.php
+++ b/modules-available/main/page.inc.php
@@ -33,7 +33,7 @@ class Page_Main extends Page
 		}
 
 		// Update warning state
-		Property::setNeedsSetup($needSetup ? 1 : 0);
+		Property::setNeedsSetup($needSetup);
 	}
 
 	protected function doAjax()
-- 
cgit v1.2.3-55-g7522