/*

Empty file. The previous banner scripts loaded this.

*/