<?php
// This just holds the version number, in a separate file so we can bump it without cluttering the CVS
$wp_version = '1.2';
?>