<?php

$Revision = 517; // Subversion revision
$DatabaseRevision = 517; 
$ReleaseTime = '2013-04-13';

?>