Html: Use https for @see url of buttonAttributes()

Follows up I61bb3c358f755ed9f2153d94b744c1a9da02c456.

Change-Id: I46be4249bdfde1b801e798e732617077f71f983d

diff --git a/includes/Html.php b/includes/Html.php
index fc5916d..fa868e3 100644 (file)
--- a/includes/Html.php
+++ b/includes/Html.php
@@ -105,7 +105,7 @@ class Html {
         * Modifies a set of attributes meant for button elements
         * and apply a set of default attributes when $wgUseMediaWikiUIEverywhere enabled.
         * @param array $modifiers to add to the button
-        * @see http://tools.wmflabs.org/styleguide/desktop/index.html for guidance on available modifiers
+        * @see https://tools.wmflabs.org/styleguide/desktop/index.html for guidance on available modifiers
         * @return array $attrs A modified attribute array
         */
        public static function buttonAttributes( $attrs, $modifiers = array() ) {