Remove unnecessary dependency in platform.html.