Searched +full:javahelpdoczip +(+path:plugin +path:siteexport) -(+path:plugin +path:siteexport +path:lang) (Results 1 – 4 of 4) sorted by relevance
236 …rm->addElement(form_makeCheckboxField('JavaHelpDocZip', 1, $this->getLang('JavaHelpDocZip') . ':',…
84 …$this->functions->debug->message("Generating JavaHelpDocZip for language '$lang'", $tsRootPath, 3);
555 $removeKeys[] = 'JavaHelpDocZip';
454 } else if (!empty($_REQUEST['JavaHelpDocZip']))461 $this->functions->debug->message("Generating JavaHelpDocZip", null, 2);