| Index: trunk/extensions/RefreshSpecial/RefreshSpecial.body.php |
| — | — | @@ -118,9 +118,10 @@ |
| 119 | 119 | $checked = ''; |
| 120 | 120 | if ( $queryPage->isExpensive() ) { |
| 121 | 121 | $checked = 'checked="checked"'; |
| | 122 | + $specialEsc = htmlspecialchars( $special ); |
| 122 | 123 | $wgOut->addHTML("\t\t\t\t\t<li> |
| 123 | | - <input type=\"checkbox\" name=\"wpSpecial[]\" value=\"$special\" $checked /> |
| 124 | | - <b>" . wfMsg($special) . "</b> |
| | 124 | + <input type=\"checkbox\" name=\"wpSpecial[]\" value=\"$specialEsc\" $checked /> |
| | 125 | + <b>" . htmlspecialchars( $specialObj->getDescription() ) . "</b> |
| 125 | 126 | </li>\n"); |
| 126 | 127 | } |
| 127 | 128 | } |