mantis 在php7环境下,出现异常,无法加载 user_pref_get_language 函数
追踪后发现,user_pref_api.php 这个文件并没有被加载
于是,在 lang_api.php 这个文件添加:
$t_pref_file = dirname( __FILE__ ) . DIRECTORY_SEPARATOR . 'user_pref_api.php';
require_once($t_pref_file);
注:问题在于php7的文件包含机制有所微调,而添加在 lang_api.php 前面 ,是因为本文件后面的很多函数都会调用这个嵌入文件的功能