add php5.tags file