документация — Что означают # @ + и # @ — в блоках комментариев PHP?

Я видел несколько файлов PHP, в которых есть некоторые специальные символы в начале блока документа.
Начинается с /**#@+ some doc-text */ и заканчивается /**#@-*/,

Что означают эти символы?

Я обнаружил, что это, кажется, используется в различных средах PHP (Zend, phpseclib, Magento), но не смог найти объяснения.

Пример:

/**#@+
* Constants for keys of data array. Identical to the name of the getter in snake case
*/
const ID = 'id';
const CUSTOMER_ID = 'customer_id';
const REGION = 'region';
const REGION_ID = 'region_id';
const COUNTRY_ID = 'country_id';
const STREET = 'street';
const COMPANY = 'company';
const TELEPHONE = 'telephone';
const FAX = 'fax';
const POSTCODE = 'postcode';
const CITY = 'city';
const FIRSTNAME = 'firstname';
const LASTNAME = 'lastname';
const MIDDLENAME = 'middlename';
const PREFIX = 'prefix';
const SUFFIX = 'suffix';
const VAT_ID = 'vat_id';
const DEFAULT_BILLING = 'default_billing';
const DEFAULT_SHIPPING = 'default_shipping';
/**#@-*/