Changeset 3874:ab8368569446 for inc/core/class.dc.workspace.php

Timestamp:

09/14/18 12:16:17 (7 years ago)

Author:

franck <carnet.franck.paul@…>

Branch:

default

Message:

short notation for array (array() → [])

File:

• inc/core/class.dc.workspace.php (modified) (4 diffs)

inc/core/class.dc.workspace.php

@@ -18 +18 @@
     protected $user_id; ///< <b>string</b> User ID
 
-    protected $global_prefs = array(); ///< <b>array</b> Global prefs array
-    protected $local_prefs  = array(); ///< <b>array</b> Local prefs array
-    protected $prefs        = array(); ///< <b>array</b> Associative prefs array
-    protected $ws;                     ///< <b>string</b> Current workspace
+    protected $global_prefs = []; ///< <b>array</b> Global prefs array
+    protected $local_prefs  = []; ///< <b>array</b> Local prefs array
+    protected $prefs        = []; ///< <b>array</b> Associative prefs array
+    protected $ws;                ///< <b>string</b> Current workspace
 
     /**
@@ -87 +87 @@
             $array = $rs->user_id ? 'local' : 'global';
 
-            $this->{$array . '_prefs'}[$id] = array(
+            $this->{$array . '_prefs'}[$id] = [
                 'ws'     => $this->ws,
                 'value'  => $value,
@@ -93 +93 @@
                 'label'  => (string) $rs->f('pref_label'),
                 'global' => $rs->user_id == ''
-            );
+            ];
         }
 
@@ -391 +391 @@
         $array = $global ? 'global' : 'local';
         unset($this->{$array . '_prefs'});
-        $this->{$array . '_prefs'} = array();
+        $this->{$array . '_prefs'} = [];
 
         $array       = $global ? 'local' : 'global';