Update the page labels tree when a pdf is extracted (bug 1997379)#20411

calixteman merged 1 commit intomozilla:mastermozilla/pdf.js:masterfrom

calixteman:split_merge_p2calixteman/pdf.js:split_merge_p2Copy head branch name to clipboard