<?php
define("AJXP_VERSION", "8.2.4");
define("AJXP_VERSION_DATE", "2019-12-11");
define("AJXP_VERSION_REV", "be554dd");
define("AJXP_VERSION_DB", "68");