From cc892178841d5ad11adc5989378c1737a2480acd Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Thu, 27 Jun 2019 18:11:11 +0200
Subject: [PATCH] include Extension.php and friends to prevent php warnings

---
 out/out.ChangePassword.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/out/out.ChangePassword.php b/out/out.ChangePassword.php
index a0885d8eb..5e3365307 100644
--- a/out/out.ChangePassword.php
+++ b/out/out.ChangePassword.php
@@ -22,6 +22,9 @@ if(!isset($settings))
 	require_once("../inc/inc.Settings.php");
 require_once("inc/inc.LogInit.php");
 require_once("inc/inc.Language.php");
+require_once("inc/inc.Init.php");
+require_once("inc/inc.Extension.php");
+require_once("inc/inc.DBInit.php");
 require_once("inc/inc.ClassUI.php");
 
 include $settings->_rootDir . "languages/" . $settings->_language . "/lang.inc";