Adding node shapes (record, Mrecord)

SemanticMediaWiki · Sep 6, 2019 · 053c461 · 053c461
1 parent 93c6afa
commit 053c461
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Graph/GraphPrinter.php b/src/Graph/GraphPrinter.php
@@ -51,6 +51,7 @@ class GraphPrinter extends ResultPrinter {
 		'Mcircle',
 		'Mdiamond',
 		'Msquare',
+		'Mrecord',
 		'none',
 		'note',
 		'octagon',
@@ -60,6 +61,7 @@ class GraphPrinter extends ResultPrinter {
 		'point',
 		'polygon',
 		'rect',
+		'record',
 		'rectangle',
 		'septagon',
 		'square',