Port declaration

HiMini.h/shortlog@5611cb5e8d6e: not found in manifest