Merge "Fix a PHP 5.5 TODO"

[lhc/web/wiklou.git] / maintenance / commandLine.inc

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index 88776f4..e871a4e 100644 (file)
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -27,7 +27,7 @@ require_once __DIR__ . '/Maintenance.php';
 global $optionsWithArgs;
 // @codingStandardsIgnoreEnd
 if ( !isset( $optionsWithArgs ) ) {
-       $optionsWithArgs = array();
+       $optionsWithArgs = [];
 }
 
 class CommandLineInc extends Maintenance {
@@ -63,4 +63,3 @@ class CommandLineInc extends Maintenance {
 
 $maintClass = 'CommandLineInc';
 require RUN_MAINTENANCE_IF_MAIN;
-