Ya eso lo había visto, pero la cuestión es que el fichero se llama Module.php, pero luego la declara dentro del fichero como abstract class ModuleCore{}.
Por lo tanto phpstorm la ve como ModuleCore, y no como Module. POr lo tanto al extender esta clase como la extiendes con Module, despues phpStorm, se queja y dice que la clase Module no está definida.
Espero haberme explicado. Un slaudo