Предположим, у меня есть номер сигнала, скажем, 15, как мне вернуть его в имя сигнала? (в Linux 15 — это SIGTERM, поэтому в данном случае при работе в Linux мне нужна строка «SIGTERM»)
Подробнее здесь: https://stackoverflow.com/questions/584 ... ber-in-php
