Fixed bug #9748: Some extensions do not work anymore in the frontend