*/
function get_company_pref($prefs = null, $tbpref = null)
{
- global $SysPrefs, $core_version;
+ global $SysPrefs, $db_version;
if (!isset($_SESSION['SysPrefs']->prefs)) { // cached preferences
$SysPrefs = &$_SESSION['SysPrefs'];
// update current db status for info in log file
- $SysPrefs->db_ok = $SysPrefs->prefs['version_id'] == $core_version;
+ $SysPrefs->db_ok = $SysPrefs->prefs['version_id'] == $db_version;
}
$all = $_SESSION['SysPrefs']->prefs;
function get_company_extensions($id = -1) {
global $path_to_root;
- $file = $path_to_root.($id == -1 ? '' : '/company/'.$id).'/installed_extensions.php';
+ $file = $path_to_root.($id == -1 ? '' : '/company/'.(int)$id).'/installed_extensions.php';
$installed_extensions = array();
if (is_file($file)) {
include($file);