Fix missing picto on smartphone

This commit is contained in:
Laurent Destailleur 2024-03-19 13:55:53 +01:00
parent 01e6bd012e
commit 4293331bc6

View file

@ -192,9 +192,12 @@ class MenuManager
// Add font-awesome
if ($val['level'] == 0 && !empty($val['prefix'])) {
print str_replace('<span class="', '<span class="paddingright pictofixedwidth ', $val['prefix']);
if (preg_match('/^fa\-[a-zA-Z0-9\-_]+$/', $val['prefix'])) {
print '<span class="fas '.$val['prefix'].' paddingright pictofixedwidth"></span>';
} else {
print str_replace('<span class="', '<span class="paddingright pictofixedwidth ', $val['prefix']);
}
}
print $val['titre'];
print '</a>'."\n";