Merge "Move up devunt's name to Developers"

[lhc/web/wiklou.git] / includes / media / GIF.php

diff --git a/includes/media/GIF.php b/includes/media/GIF.php
index b998d18..5f23855 100644 (file)
--- a/includes/media/GIF.php
+++ b/includes/media/GIF.php
@@ -65,11 +65,11 @@ class GIFHandler extends BitmapHandler {
                $meta = $image->getMetadata();
 
                if ( !$meta ) {
-                       return array();
+                       return [];
                }
                $meta = unserialize( $meta );
                if ( !isset( $meta['metadata'] ) ) {
-                       return array();
+                       return [];
                }
                unset( $meta['metadata']['_MW_GIF_VERSION'] );
 
@@ -170,7 +170,7 @@ class GIFHandler extends BitmapHandler {
                }
 
                /* Preserve original image info string, but strip the last char ')' so we can add even more */
-               $info = array();
+               $info = [];
                $info[] = $original;
 
                if ( $metadata['looped'] ) {
@@ -193,7 +193,7 @@ class GIFHandler extends BitmapHandler {
         *
         * Shown in the &query=imageinfo&iiprop=size api query.
         *
-        * @param $file File
+        * @param File $file
         * @return float The duration of the file.
         */
        public function getLength( $file ) {