PHP: avoid short tags <?