| Index: trunk/extensions/ReaderFeedback/ReaderFeedback.hooks.php |
| — | — | @@ -19,12 +19,12 @@ |
| 20 | 20 | |
| 21 | 21 | $stylePath = str_replace( '$wgScriptPath', $wgScriptPath, $wgFeedbackStylePath ); |
| 22 | 22 | |
| 23 | | - $encCssFile = htmlspecialchars( "$stylePath/readerfeedback.css?$wgFeedbackStyleVersion" ); |
| 24 | | - $encJsFile = htmlspecialchars( "$stylePath/readerfeedback.js?$wgFeedbackStyleVersion" ); |
| | 23 | + $cssFile = "$stylePath/readerfeedback.css?$wgFeedbackStyleVersion"; |
| | 24 | + $jsFile = "$stylePath/readerfeedback.js?$wgFeedbackStyleVersion"; |
| 25 | 25 | // Add CSS |
| 26 | | - $wgOut->addExtensionStyle( $encCssFile ); |
| | 26 | + $wgOut->addExtensionStyle( $cssFile ); |
| 27 | 27 | // Add JS |
| 28 | | - $wgOut->addScriptFile( "$stylepath/readerfeedback.js?$wgFeedbackStyleVersion" ); |
| | 28 | + $wgOut->addScriptFile( $jsFile ); |
| 29 | 29 | |
| 30 | 30 | return true; |
| 31 | 31 | } |