He estado en esa situacion varias veces a lo lago de mi vida laboral y siempre en el finiquito me han incluido la parte proporcional de las pagas extras. Y no eran empresas que hicieran ningun "favor" al trabajador asi que si lo hicieron me imagino que seria por que era obligatorio