Мне нужно вывести в поле содержимое внешнего HTML файла.
Включаю для этого поля фильтр Full PHP, вставляю туда
<?php print file_get_contents('sites/default/files/ext/okna_where_to_buy_inc.html'); ?>
и все прекрасно работает.

Вопрос о том, нужно ли с точки зрения синтаксиса использовать в конце точку с запятой? Потому что без них, то есть
<?php print file_get_contents('sites/default/files/ext/okna_where_to_buy_inc.html') ?>
тоже работает.

Как правильно?