Specified efficient use of short echo tag

Specified efficient use of short echo tag depending on the PHP version