another php 7.2 compatibility fix #181 #180

Author: splitbrain

classes/BasicFormatter.php

@@ -11,8 +11,10 @@
  */
 class BasicFormatter
 {
-    protected Options $options;
-    protected \Doku_Renderer $renderer;
+    /** @var Options */
+    protected $options;
+    /** @var \Doku_Renderer  */
+    protected $renderer;
 
     /**
      * Create a new Gallery formatter