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.