format SongStoryServer php file