platform extensions