Определить редактор

Question

Во многих PHP-скриптах я вижу следующее в нижнем колонтитуле:

/* End of file xyz.php */
/* Location: ./application/controllers/xyz.php */

Я полагаю, что это автоматически генерируется редактором.Может ли кто-нибудь идентифицировать этот редактор?

Спасибо

Answer 1

Может быть автоматическим или ручным. Также это может варьироваться от редактора к редактору. Если один редактор помещает свое имя в начало кода, то кодировщик может либо сохранить его, либо удалить его.