diff --git a/doc/extensions.html b/doc/extensions.html index 2bfcc76c..8684dc32 100644 --- a/doc/extensions.html +++ b/doc/extensions.html @@ -248,8 +248,9 @@ enabled: