File hosting service Dropbox said on Wednesday ​it would cut its global ‌workforce by about 9% to align investments with its top product and growth ​priorities, according to a ​regulatory filing.