// This script is a placeholder because some pages are referring to it.