added source file headers to conform to Mediawiki's coding conventions