diff options
author | Michael Hamann <michael@content-space.de> | 2011-03-08 00:33:35 +0100 |
---|---|---|
committer | Michael Hamann <michael@content-space.de> | 2011-03-08 00:33:35 +0100 |
commit | d8e733eea8ac79670ffc74ac685078dc4ac56c7e (patch) | |
tree | b036d19bd256fc3a1016ef9a1697a894dfd2b5f3 /lib/plugins | |
parent | dea1115b59e771c401882590426074c08fed3a87 (diff) | |
parent | ad79cb7c93a655f864c633433e743b03685b5719 (diff) | |
download | rpg-d8e733eea8ac79670ffc74ac685078dc4ac56c7e.tar.gz rpg-d8e733eea8ac79670ffc74ac685078dc4ac56c7e.tar.bz2 |
Merge branch 'indexer_rewrite'
Diffstat (limited to 'lib/plugins')
-rw-r--r-- | lib/plugins/config/lang/en/lang.php | 2 | ||||
-rw-r--r-- | lib/plugins/config/settings/config.metadata.php | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/lib/plugins/config/lang/en/lang.php b/lib/plugins/config/lang/en/lang.php index 18bfb56fa..d7a544850 100644 --- a/lib/plugins/config/lang/en/lang.php +++ b/lib/plugins/config/lang/en/lang.php @@ -142,6 +142,8 @@ $lang['renderer_xhtml'] = 'Renderer to use for main (xhtml) wiki output'; $lang['renderer__core'] = '%s (dokuwiki core)'; $lang['renderer__plugin'] = '%s (plugin)'; $lang['rememberme'] = 'Allow permanent login cookies (remember me)'; +$lang['external_tokenizer'] = 'Use an external program to split pages into words for indexing'; +$lang['tokenizer_cmd'] = 'Command line to start the external tokenizer'; $lang['rss_type'] = 'XML feed type'; $lang['rss_linkto'] = 'XML feed links to'; diff --git a/lib/plugins/config/settings/config.metadata.php b/lib/plugins/config/settings/config.metadata.php index af7e63a61..ca2cd0c12 100644 --- a/lib/plugins/config/settings/config.metadata.php +++ b/lib/plugins/config/settings/config.metadata.php @@ -194,6 +194,8 @@ $meta['broken_iua'] = array('onoff'); $meta['xsendfile'] = array('multichoice','_choices' => array(0,1,2,3)); $meta['renderer_xhtml'] = array('renderer','_format' => 'xhtml','_choices' => array('xhtml')); $meta['readdircache'] = array('numeric'); +$meta['external_tokenizer'] = array('onoff'); +$meta['tokenizer_cmd'] = array('string'); $meta['_network'] = array('fieldset'); $meta['proxy____host'] = array('string','_pattern' => '#^(|[a-z0-9\-\.+]+)$#i'); |