Shift f9ab4d057e Adopt short array syntax ...

Since PHP 5.4 the short array syntax `[]` may be used instead of `array()`.

2023-01-03 08:25:32 +00:00

..

default1

Adopt short array syntax

2023-01-03 08:25:32 +00:00