PHP: for selective html output