Add pl_core_include to build the path to a core include file.

e.g.:
include pl_core_include('wiki.engine.inc.php')
vs
include dirname(__FILE__) . '/../core/include/wiki.engine.inc.php';

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>

diff --git a/include/platal.inc.php b/include/platal.inc.php
index 81f4068..652dc92 100644 (file)
--- a/include/platal.inc.php
+++ b/include/platal.inc.php
@@ -50,6 +50,11 @@ function pl_autoload($cls, array $pathes = array())
 }
 pl_autoload('Env');
 
+function pl_core_include($file)
+{
+    return dirname(__FILE__) . '/' . $file;
+}
+
 function pl_error_handler($errno, $errstr, $errfile, $errline)
 {
     static $errortype;