From 79afdc7c554da02e8742ec808fa3ce0bb404517c Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Wed, 31 Jul 2013 21:43:09 +0200
Subject: [PATCH] include inc/inc.Extension.php

---
 op/op.Search.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/op/op.Search.php b/op/op.Search.php
index 9be9da8bc..daa6c1ca4 100644
--- a/op/op.Search.php
+++ b/op/op.Search.php
@@ -25,6 +25,7 @@ include("../inc/inc.Language.php");
 include("../inc/inc.ClassUI.php");
 include("../inc/inc.ClassAccessOperation.php");
 include("../inc/inc.Authentication.php");
+include("../inc/inc.Extension.php");
 
 /**
  * Include class to preview documents