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/config/lang/en | |
| parent | dea1115b59e771c401882590426074c08fed3a87 (diff) | |
| parent | ad79cb7c93a655f864c633433e743b03685b5719 (diff) | |
| download | rpg-d8e733eea8ac79670ffc74ac685078dc4ac56c7e.tar.gz rpg-d8e733eea8ac79670ffc74ac685078dc4ac56c7e.tar.bz2 | |
Merge branch 'indexer_rewrite'
Diffstat (limited to 'lib/plugins/config/lang/en')
| -rw-r--r-- | lib/plugins/config/lang/en/lang.php | 2 |
1 files changed, 2 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'; |