Merge "Move up devunt's name to Developers"

[lhc/web/wiklou.git] / includes / filerepo / file / UnregisteredLocalFile.php

diff --git a/includes/filerepo/file/UnregisteredLocalFile.php b/includes/filerepo/file/UnregisteredLocalFile.php
index 4c11341..5ee25cd 100644 (file)
--- a/includes/filerepo/file/UnregisteredLocalFile.php
+++ b/includes/filerepo/file/UnregisteredLocalFile.php
@@ -103,7 +103,7 @@ class UnregisteredLocalFile extends File {
                if ( $mime ) {
                        $this->mime = $mime;
                }
-               $this->dims = array();
+               $this->dims = [];
        }
 
        /**