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

?>