Merge pull request #2 from ralf1070/master

Allow to enter special characters as html entities
tscherter · Jan 23, 2021 · f4c8e75 · f4c8e75
2 parents 80f665f + b099bbf
commit f4c8e75
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ebnf.php b/ebnf.php
@@ -129,7 +129,7 @@ function arrow($image, $x, $y, $lefttoright) {
 function render_node($node, $lefttoright) {
   global $white, $black, $blue, $red, $green, $silver;
   if ($node->nodeName=='identifier' || $node->nodeName=='terminal') {
-    $text = $node->getAttribute('value');
+    $text = html_entity_decode($node->getAttribute('value'));
     $w = imagefontwidth(FONT)*(strlen($text)) + 4*UNIT;
     $h = 2*UNIT;
     $im = create_image($w, $h);
@@ -379,4 +379,4 @@ function ebnf_parse_factor(&$dom, &$tokens, &$i) {
   throw new Exception("Factor expected: {$token['pos']}");
 }
 
-?>
+?>