From 1443fcbe60560d157b1af462ade8f05603efb3cd Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Sun, 16 Nov 2025 20:08:13 +0100
Subject: [PATCH] include inc.Extension.php

---
 op/op.Logout.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/op/op.Logout.php b/op/op.Logout.php
index 6acc9166b..9efeda8de 100644
--- a/op/op.Logout.php
+++ b/op/op.Logout.php
@@ -23,7 +23,7 @@ include("../inc/inc.Utils.php");
 include("../inc/inc.LogInit.php");
 include("../inc/inc.Language.php");
 include("../inc/inc.Init.php");
-//include("../inc/inc.Extension.php");
+include("../inc/inc.Extension.php");
 include("../inc/inc.ClassSession.php");
 include("../inc/inc.ClassController.php");
 include("../inc/inc.DBInit.php");