<?php

$Revision = 47; // Subversion revision
$DatabaseRevision = 46; // SQL structure revision
$ReleaseTime = strtotime('2014-07-27');
