function getConfigurationAndFontsFromIni($config, $formulaPath)
{
$formulaConfig = wrs_parseIni($formulaPath);
if ($formulaConfig === false) {
return false;
}
$fonts = array();
global $wrs_imageConfigProperties;
foreach ($formulaConfig as $key => $value) {
if ($key != 'mml') {
if (substr($key, 0, 4) == 'font') {
$fonts[$key] = trim($value);
} else {
$config[$wrs_imageConfigProperties[$key]] = trim($value);
}
}
}
return array('mathml' => trim($formulaConfig['mml']), 'config' => $config, 'fonts' => $fonts);
}
include 'libwiris.php';
$digest = NULL;
if (isset($_POST['md5']) && mb_strlen($_POST['md5']) == 32) {
// Support for "generic simple" integration.
$digest = $_POST['md5'];
} else {
if (isset($_POST['digest'])) {
// Support for future integrations (where maybe they aren't using md5 sums).
$digest = $_POST['digest'];
}
}
if (!is_null($digest)) {
$config = wrs_loadConfig(WRS_CONFIG_FILE);
$filePath = wrs_getFormulaDirectory($config) . '/' . basename($digest);
if (is_file($filePath . '.ini')) {
$formula = wrs_parseIni($filePath . '.ini');
if ($formula !== false) {
if (isset($formula['mml'])) {
echo $formula['mml'];
}
} else {
echo 'Error: could not read the formula. Check your file permissions.';
}
} else {
if (is_file($filePath . '.xml')) {
if (($handle = fopen($filePath, 'r')) !== false) {
if (($line = fgets($handle)) !== false) {
echo $line;
}
fclose($handle);
} else {
function wrs_loadConfig($filePath)
{
$config = wrs_parseIni($filePath, false, array());
if (isset($config['wirisconfigurationclass'])) {
$parts = explode(';', $config['wirisconfigurationclass'], 2);
if (isset($parts[0]) && isset($parts[1])) {
$file = trim($parts[0]);
require_once dirname(__FILE__) . '/ConfigurationUpdater.php';
require_once dirname(__FILE__) . '/' . $file;
$className = trim($parts[1]);
$configurationUpdater = new $className();
$configurationUpdater->init();
$configurationUpdater->updateConfiguration($config);
}
}
return $config;
/*
TODO: implement the new configuration system.
$defaultConfig = wrs_parseIni(WRS_DEFAULT_CONFIG_FILE, true);
$config = wrs_parseIni(WRS_CONFIG_FILE, true, $wrs_defaultConfig);
$config = wrs_applyConfigRetrocompatibility($config);
$config = wrs_deduceConfigUndefinedValues($config);
return $config;*/
}
