Merge "RCFilters: Enable 'View newest'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 24 Aug 2017 22:29:22 +0000 (22:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 24 Aug 2017 22:29:22 +0000 (22:29 +0000)
includes/libs/IP.php
resources/src/mediawiki.legacy/shared.css

index b22f06d..bde8c69 100644 (file)
@@ -67,8 +67,6 @@ define( 'IP_ADDRESS_STRING',
  * and IP blocks.
  */
 class IP {
-       /** @var IPSet */
-       private static $proxyIpSet = null;
 
        /**
         * Determine if a string is as valid IP address or network (CIDR prefix).
index fbc9816..bace9d0 100644 (file)
@@ -105,6 +105,11 @@ span.comment {
        clear: both;
 }
 
+/* Prevent editing textarea from jumping when toolbar is loaded */
+#toolbar {
+       height: 22px;
+}
+
 /* Edit font preference */
 /* TODO: for 'default' on non-textareas we could compute the default font of textarea in the client */
 .mw-editfont-default:not( textarea ) {