diff --git a/doc/extensions.html b/doc/extensions.html index 1d28475c..c1c9a808 100644 --- a/doc/extensions.html +++ b/doc/extensions.html @@ -313,7 +313,7 @@ enabled: