The extension is not always loaded, you have to add it to the `Panel.php`