Currently Jenkins checks the format for plugin dependencies in version.php
The following is fine:
$plugin->dependencies = array('theme_boost' => 2019022600);
This is not:
$plugin->dependencies = ['theme_boost' => 2019022600];
We should probably change that when we can as this format is likely to turn up more often in the future.