resize_animated declared public in ImageMagickPlugin

diff --git a/plugins/ImageMagick/ImageMagickPlugin.php b/plugins/ImageMagick/ImageMagickPlugin.php
index aaef3ea21299f1f0d4c7e80b933d7acdba4109d6..5ccc0c9457755f80b92732baba304ab181852d19 100644 (file)
--- a/plugins/ImageMagick/ImageMagickPlugin.php
+++ b/plugins/ImageMagick/ImageMagickPlugin.php
@@ -35,11 +35,15 @@ if (!defined('GNUSOCIAL')) { exit(1); }
  *
  * Provides:
  *  Animated image support (for image/gif at least)
+ *
+ * Bugs:
+ *  Not even ImageMagick is very good at resizing animated GIFs.
  */
 
 class ImageMagickPlugin extends Plugin
 {
-    protected $resize_animated = false;
+    // configurable plugin options must be declared public
+    public $resize_animated = false;
 
     /**
      * @param ImageFile $file An ImageFile object we're getting metadata for