diff --git a/core/lib/class.plx.plugins.php b/core/lib/class.plx.plugins.php index 198199c70..5eabe9fee 100644 --- a/core/lib/class.plx.plugins.php +++ b/core/lib/class.plx.plugins.php @@ -37,7 +37,13 @@ public function __construct($default_lang='') { header('Content-Type: text/plain; charset=UTF-8'); } else { ?> -
+
+ z-index: 999;
+">
+
rootPlugins) and preg_match('#' . basename($this->rootPlugins) . '/([^/]+)/\1\.php$#', $error['file'], $matches)) {
@@ -79,7 +87,7 @@ public function __construct($default_lang='') {
User : = $_SESSION['user'] . PHP_EOL ?>
Profil : = $_SESSION['profil'] . PHP_EOL ?>
PluXml version : = PLX_VERSION . PHP_EOL ?>
-PLX_DEBUG : = PLX_DEBUG ? 'true' : 'false' ?>
+PLX_DEBUG : = ( PLX_DEBUG ? 'true' : 'false' ) . PHP_EOL ?>
PHP version : = PHP_VERSION . PHP_EOL ?>
= $hr ?>
About this server :
@@ -104,6 +112,7 @@ public function __construct($default_lang='') {
));
}, ARRAY_FILTER_USE_KEY) as $k=>$v) {
switch($k) {
+ case 'HTTP_REFERER' : $v = preg_replace('#^https?://'. $_SERVER['SERVER_NAME']. '#', '', $_SERVER['HTTP_REFERER']); break;
case 'SCRIPT_FILENAME' : $v = preg_replace('#^' . $documentRoot . '#', '', realpath($v)); break;
case 'SERVER_SIGNATURE' : $v = trim(strip_tags($v)); break;
default : # nothing to do
@@ -145,6 +154,14 @@ public function __construct($default_lang='') {
if($hasHeaders_sent) {
?>
+
+