Indonesia lifts tsunami warning after 7.8-magnitude quake off southern Philippines; small waves recorded, no major damage reported.