New media playback UI.

Source/core/css/mediaControlsAndroidNew.css

Index: Source/core/css/mediaControlsAndroidNew.css
diff --git a/Source/core/css/mediaControlsAndroidNew.css b/Source/core/css/mediaControlsAndroidNew.css
index 9d6f459ad89282e21723bb39b2c290797efb0edb..102367271b7ac3f76e22b6c25738045339af89a1 100644
--- a/Source/core/css/mediaControlsAndroidNew.css
+++ b/Source/core/css/mediaControlsAndroidNew.css
@@ -1 +1,33 @@
-/**/
+/*
+ * Copyright (C) 2015 Google Inc.
+ * Copyright (C) 2009 Apple Inc.  All rights reserved.

[philipj_slow, 2015/07/08 10:31:52]

I would keep the copyright header from which this was copied, or use the new
smaller one if it wasn't copied. Changing years and adding lines over time is
tedious :)

[liberato (no reviews please), 2015/07/09 12:10:56]

i'll update this with the de-crufting to match mediaControlsAndroid.css, from
which it came.

[liberato (no reviews please), 2015/07/14 22:10:36]

copied from mediaControlsAndroid.css .

+ * Copyright (C) 2009 Google Inc.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY APPLE COMPUTER, INC. ``AS IS'' AND ANY
+ * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE COMPUTER, INC. OR
+ * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+ * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+ * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
+ * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+/* Media controls for Chromium on Android */
+
+/* WARNING: This css file can only style <audio> and <video> elements */
+
+audio::-webkit-media-controls-mute-button, video::-webkit-media-controls-mute-button {

[philipj_slow, 2015/07/08 10:31:51]

This is contrary to https://codereview.chromium.org/1045103002/

I happen to agree that and we have a patch in Opera for Android to get rid of
the mute button, but was this discussed internally?

[liberato (no reviews please), 2015/07/09 12:10:56]

it was, but i was unaware of this bug.  i'll follow up.  maybe we should show
the unmute button if it's muted.  that's what the most recent CL does.  i also
added a test to be sure that muted media shows an unmute button.

how do you handle this case in opera?

+    display: none;
+}