diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2008-02-20 22:32:22 +0100 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2008-02-20 22:32:22 +0100 |
| commit | 0deaa5d831fea288ae11f05e633add33e4de36cb (patch) | |
| tree | f879ac4c5f04e10f503895f4bbc6f9d6eca99468 /lib/plugins/popularity/admin.php | |
| parent | ae7638100fe97616d1f48d72d16d6907f05f90a1 (diff) | |
| download | rpg-0deaa5d831fea288ae11f05e633add33e4de36cb.tar.gz rpg-0deaa5d831fea288ae11f05e633add33e4de36cb.tar.bz2 | |
popularity plugin: record PCRE infos
darcs-hash:20080220213222-7ad00-b573be21ba534bbd1a2d0616112d0d622338eaf8.gz
Diffstat (limited to 'lib/plugins/popularity/admin.php')
| -rw-r--r-- | lib/plugins/popularity/admin.php | 7 |
1 files changed, 6 insertions, 1 deletions
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']; |