From 77dd3034b800d9776935f2dcaa6bee79c9c1ab11 Mon Sep 17 00:00:00 2001
From: Petr Skoda <skodak@moodle.org>
Date: Sun, 4 Jul 2010 09:52:21 +0000
Subject: [PATCH] we usually use include instead of require for plugin files

---
 pluginfile.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pluginfile.php b/pluginfile.php
index 24e638db1fcd2..ba34c8c0238cd 100644
--- a/pluginfile.php
+++ b/pluginfile.php
@@ -681,7 +681,7 @@
     if (!file_exists("$dir/lib.php")) {
         send_file_not_found();
     }
-    require_once("$dir/lib.php");
+    include_once("$dir/lib.php");
 
     $filefunction = $component.'_pluginfile';
     if (function_exists($filefunction)) {