[gnome-shell] panel: Remove some unused duplicate constants

[Colin Walters <walters src gnome org>]

commit 5b3974b6b420388237fd7a9b890ef7db98306045
Author: Colin Walters <walters verbum org>
Date:   Tue Mar 1 07:11:26 2011 -0500

    panel: Remove some unused duplicate constants

 js/ui/panel.js |    8 --------
 1 files changed, 0 insertions(+), 8 deletions(-)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index d1bf3fd..92272df 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -44,14 +44,6 @@ const STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION = {
 if (Config.HAVE_BLUETOOTH)
     STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION['bluetooth'] = imports.ui.status.bluetooth.Indicator;
 
-// in org.gnome.desktop.interface
-const CLOCK_FORMAT_KEY        = 'clock-format';
-
-// in org.gnome.shell.clock
-const CLOCK_SHOW_DATE_KEY     = 'show-date';
-const CLOCK_SHOW_SECONDS_KEY  = 'show-seconds';
-
-
 // To make sure the panel corners blend nicely with the panel,
 // we draw background and borders the same way, e.g. drawing
 // them as filled shapes from the outside inwards instead of