Пример #1
0
function smarty_modifier_thhref($thId)
{
    $thId = trim($thId);
    $CTXT = PostFetchingContext::getInstance();
    $num = $CTXT->getNextThNum($thId, false);
    if (!$num) {
        return PsHtml::spanErr("Ссылка на незарегистрированную теорему с идентификатором '{$thId}'");
    }
    return PsBubble::aById($CTXT->getThElId($thId), "№{$num}", 'theorem');
}
Пример #2
0
function smarty_modifier_exhref($exId)
{
    $exId = trim($exId);
    $num = PostFetchingContext::getInstance()->getExampleNum($exId, false);
    $elId = PostFetchingContext::getInstance()->getExampleElId($exId);
    if (!$num) {
        return PsHtml::spanErr("Ссылка на незарегистрированный пример с идентификатором '{$exId}'");
    }
    return PsBubble::aById($elId, "№{$num}", 'example');
}