<?php

$Revision = 710; // Subversion revision
$DatabaseRevision = 710; // Database structure revision 
$ReleaseTime = '2013-07-30';
