|
@@ -59,7 +59,7 @@ |
|
|
block discarded – undo |
|
59
|
59
|
} |
|
60
|
60
|
// Exception thrown when language not supported |
|
61
|
61
|
catch (DomainException) { |
|
62
|
|
- trigger_error("An unsupported language (${langDef['language']}) was detected in a code block", E_USER_WARNING); |
|
|
62
|
+ trigger_error("An unsupported language (${langdef['language']}) was detected in a code block", E_USER_WARNING); |
|
63
|
63
|
} catch (Exception) { |
|
64
|
64
|
trigger_error('An error has occurred in the highlight.php language definition files', E_USER_WARNING); |
|
65
|
65
|
} |
Please login to merge, or discard this patch.