UltiSnips snippet for php