Identify editor

In a lot of PHP scripts I see following in the footer:

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

I believe that is autogenerated by editor. Can someone identify that editor?

开发者_运维问答

Thanks

---

It can either b auto or be manual. Also it may vary editor to editor. Is one editor places its name in the starting of the code then an coder can either keep that or also can remove that.