From e0129770dc49ae1f09872e951f99b2fd639602a0 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Michal=20=C4=8Ciha=C5=99?= Date: Mon, 24 May 2010 11:29:35 +0200 Subject: [PATCH] Get rid of strDocu. --- libraries/config.default.php | 2 +- libraries/messages.inc.php | 2 -- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/libraries/config.default.php b/libraries/config.default.php index dc082746d3..b2a3932757 100644 --- a/libraries/config.default.php +++ b/libraries/config.default.php @@ -2329,7 +2329,7 @@ $cfg['ErrorIconic'] = true; $cfg['MainPageIconic'] = true; /** - * show help button instead of strDocu (true|false)? + * show help button instead of Documentation text (true|false)? * * @global boolean $cfg['ReplaceHelpImg'] */ diff --git a/libraries/messages.inc.php b/libraries/messages.inc.php index cb192d2ea5..786424d454 100644 --- a/libraries/messages.inc.php +++ b/libraries/messages.inc.php @@ -18,8 +18,6 @@ $charset = 'utf-8'; /* l10n: Text direction, use either ltr or rtl */ $text_dir = __('ltr'); -$strDocu = __('Documentation'); - $strLatexContent = __('Content of table __TABLE__'); $strLatexContinued = __('(continued)'); $strLatexStructure = __('Structure of table __TABLE__'); -- 2.11.4.GIT