<?php
define("AJXP_VERSION", "8.0.2");
define("AJXP_VERSION_DATE", "2017-12-13");
define("AJXP_VERSION_REV", "f4d1ad4");
define("AJXP_VERSION_DB", "68");