In which version of WordPress was the new gallery shortcode implemented?

The file /wp-includes/media.php, where the Gallery Shortcode is defined, first appears in WordPress 2.5.

It has the id (singular) attribute to refer to the post_parent:

$attachments = get_children("post_parent=$id ...

---

The ids (plural) attribute appears in WordPress 3.5, and is used to include attachments:

if ( ! empty( $attr['ids'] ) ) {
    $attr['include'] = $attr['ids'];
}
...
$_attachments = get_posts( array('include' => $include

---

PS: I’ve updated the Codex, now it reads (updates in bold):

Since WordPress 2.5 and up until 3.5, the gallery shortcode […]
[…]
It’s important to note that this style of gallery shortcode is not new to 3.5, previously we could use the include attribute.