I'm thinking that the above snippet might be removed completely. If someone is still using a WP version < 3.2 and try to install, it shouldn't work with the min version in the header.