WordPress/wp-includes/version.php

<?php

// This just holds the version number, in a separate file so we can bump it without cluttering the SVN

$wp_version = '1.5.1.2';

?>