Update auguria_menu.php

This commit is contained in:
Frédéric FRANCE 2023-02-22 20:20:53 +01:00 committed by GitHub
parent f7348d21d3
commit 873a0266ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -37,6 +37,11 @@ class MenuManager
public $atarget = ""; // To store default target to use onto links
public $name = "auguria";
/**
* @var Menu
*/
public $menu;
public $menu_array;
public $menu_array_after;