diff --git a/reference/misc/ini.xml b/reference/misc/ini.xml index f2ea8a7287..a2ce7acd74 100644 --- a/reference/misc/ini.xml +++ b/reference/misc/ini.xml @@ -1,5 +1,5 @@ - +
&reftitle.runtime; &extension.runtime; @@ -85,6 +85,10 @@ + + highlight.bg + string + highlight.comment string