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'); }
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'); }