very minor - fixing incorrect include_once('tabs.php') - this is not a library file

diff --git a/mod/data/lib.php b/mod/data/lib.php
index 23c7d6765662658a0e25e3e95cd1aa5f672f8f8f..0f5c6465d2959291f2306042b5cc51cab00671a0 100755 (executable)
--- a/mod/data/lib.php
+++ b/mod/data/lib.php
@@ -1703,7 +1703,7 @@ function data_print_header($course, $cm, $data, $currenttab='') {
     /// Print the tabs
 
     if ($currenttab) {
-        include_once('tabs.php');
+        include('tabs.php');
     }
 
     /// Print any notices