capitalize filename so that wikis with $wgCapitalLinks=false can access

[lhc/web/wiklou.git] / includes / SpecialWatchlist.php

diff --git a/includes/SpecialWatchlist.php b/includes/SpecialWatchlist.php
index 5b9abdd..be82afe 100644 (file)
--- a/includes/SpecialWatchlist.php
+++ b/includes/SpecialWatchlist.php
@@ -128,8 +128,8 @@ function wfSpecialWatchlist() {
                        }
                }
                $wgOut->addHTML( "</ul>\n" .
-                       "<input type='submit' name='remove' value='" .
-                       wfMsg( "removechecked" ) . "' />\n" .
+                       "<input type='submit' name='remove' value=\"" .
+                       htmlspecialchars( wfMsg( "removechecked" ) ) . "\" />\n" .
                        "</form>\n" );
 
                return;