Fix missing PHP tag in ws.conf.dist.php - refs BT#8489