<?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';
?>