<?php
define("AJXP_VERSION", "8.2.5");
define("AJXP_VERSION_DATE", "2020-01-07");
define("AJXP_VERSION_REV", "ff5d935");
define("AJXP_VERSION_DB", "68");