diff --git a/doc/extensions.html b/doc/extensions.html index f288fbde..8300753e 100644 --- a/doc/extensions.html +++ b/doc/extensions.html @@ -251,8 +251,9 @@ enabled: