// Just an empty file. show_wmark.php is unused