'.get_string('command', 'assignfeedback_editpdf')."\n"; $fullerror .= $command . "\n\n"; $fullerror .= get_string('result', 'assignfeedback_editpdf')."\n"; $fullerror .= htmlspecialchars($result) . "\n\n"; $fullerror .= get_string('output', 'assignfeedback_editpdf')."\n"; $fullerror .= htmlspecialchars(implode("\n", $output)) . '