Push ext shouldn't modify $args for other extensions