From c67b1d88a0979c0f31669cf36399e84daab8cc3c Mon Sep 17 00:00:00 2001
From: Andrew Nacin <nacin@git.wordpress.org>
Date: Thu, 25 Oct 2012 20:15:47 +0000
Subject: [PATCH] Don't show the same time or date format twice on the General
 Settings page. This can occur if a translated format is the same as an
 existing default format. fixes #21060.

git-svn-id: https://develop.svn.wordpress.org/trunk@22299 602fd350-edb4-49c9-b593-d223f7449a82
---
 wp-admin/options-general.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/wp-admin/options-general.php b/wp-admin/options-general.php
index 3fc77ddaf8..fdae33a60b 100644
--- a/wp-admin/options-general.php
+++ b/wp-admin/options-general.php
@@ -230,12 +230,12 @@ if ( empty($tzstring) ) { // Create a UTC+- zone if no timezone string exists
 	<fieldset><legend class="screen-reader-text"><span><?php _e('Date Format') ?></span></legend>
 <?php
 
-	$date_formats = apply_filters( 'date_formats', array(
+	$date_formats = array_unique( apply_filters( 'date_formats', array(
 		__('F j, Y'),
 		'Y/m/d',
 		'm/d/Y',
 		'd/m/Y',
-	) );
+	) ) );
 
 	$custom = true;
 
@@ -263,11 +263,11 @@ if ( empty($tzstring) ) { // Create a UTC+- zone if no timezone string exists
 	<fieldset><legend class="screen-reader-text"><span><?php _e('Time Format') ?></span></legend>
 <?php
 
-	$time_formats = apply_filters( 'time_formats', array(
+	$time_formats = array_unique( apply_filters( 'time_formats', array(
 		__('g:i a'),
 		'g:i A',
 		'H:i',
-	) );
+	) ) );
 
 	$custom = true;