// Dummy javascript file to keep the spurious errors down until the code including this file's predecessor is removed.