<?php
$menuentry = array (
'en' => 'Publications',
'it' => 'Pubblicazioni',
);
?>