<?php 
  $OC_Version = array(6,0,0,13);
  $OC_VersionString = '6.0';
  $OC_Edition = '';
  $OC_Channel = 'stable';
  $OC_Build = '2013-12-10T10:56:53+00:00';