Php Autocompletion: сообщить IDE, какой класс унаследован

Question

Я сталкиваюсь с некоторыми проблемами автозаполнения при использовании PHPed для разработки модуля PrestaShop.

Например, при объявлении такого класса

class myModuleFrontController extends ModuleFrontController

IDE не распознает родительский класс ModuleFrontController потому что он изначально объявлен как class ModuleFrontControllerCore{..} и PS как-то делает eval удалять Core в конце.

Так как я могу сказать IDE заглянуть внутрь ModuleFrontControllerCore?
Я старался

/*
* @uses ModuleFrontControllerCore
*/
class myModuleFrontController extends ModuleFrontController{

    /**
    * this one worked for $module property
    * @var ModuleCore
    */
    public $module;
}

Я также использовал @var ModuleFrontControllerCore что, как и ожидалось, не сработало.
Любые намеки приветствуются.