Replace array_merge() with foreach($elems as $elem) {$array[]=$elem;}, it makes phpctags 3 times faster