Did a professional astronomer buy the star name for Phil? Whether that is the case or not, I would say "no". By "recognize" I meant for research purposes. We have a range of opinion here and I expect that there might be a minority of Professional astronomers that have no problem with the star registry. But certainly that minority does not represent a formal recognition.

Any professional astronomers that have purchased star names obviously grasp that the whole thing is a harmless novelty.