[Theia][Micro-Optimization] Replace array_push() by array[]