From 0deaa5d831fea288ae11f05e633add33e4de36cb Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Wed, 20 Feb 2008 22:32:22 +0100
Subject: [PATCH] popularity plugin: record PCRE infos
darcs-hash:20080220213222-7ad00-b573be21ba534bbd1a2d0616112d0d622338eaf8.gz
---
lib/plugins/popularity/admin.php | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/lib/plugins/popularity/admin.php b/lib/plugins/popularity/admin.php
index fc2ab3e3f..1506854e6 100644
--- a/lib/plugins/popularity/admin.php
+++ b/lib/plugins/popularity/admin.php
@@ -19,7 +19,7 @@ require_once(DOKU_INC.'inc/search.php');
* need to inherit from this class
*/
class admin_plugin_popularity extends DokuWiki_Admin_Plugin {
- var $version = '2008-02-18';
+ var $version = '2008-02-20';
/**
@@ -189,6 +189,11 @@ class admin_plugin_popularity extends DokuWiki_Admin_Plugin {
// plugins
$data['plugin'] = plugin_list();
+ // pcre info
+ if(defined('PCRE_VERSION')) $data['pcre_version'] = PCRE_VERSION;
+ $data['pcre_backtrack'] = ini_get('pcre.backtrack_limit');
+ $data['pcre_recursion'] = ini_get('pcre.recursion_limit');
+
// php info
$data['os'] = PHP_OS;
$data['webserver'] = $_SERVER['SERVER_SOFTWARE'];
--
GitLab