Файл options_user_settings.php

См. исходные тексты.

Переменные
	$ID = intval($ID)
	$profileInfo = $dbRes->fetch()
if(! $profileInfo)	else =EndNote()
	endif

Переменные

$ID

$ID = intval($ID)

См. определение в файле options_user_settings.php строка 14

$profileInfo

$profileInfo = $dbRes->fetch()

См. определение в файле options_user_settings.php строка 28

else

if (! $profileInfo) else =EndNote()

См. определение в файле options_user_settings.php строка 55

endif

endif

См. определение в файле options_user_settings.php строка 70