| Index: trunk/extensions/OggHandler/OggHandler.php |
| — | — | @@ -16,6 +16,9 @@ |
| 17 | 17 | PATH_SEPARATOR . |
| 18 | 18 | ini_get( 'include_path' ) ); |
| 19 | 19 | |
| | 20 | +// Bump this when updating OggPlayer.js to help update caches |
| | 21 | +$wgOggScriptVersion = '1'; |
| | 22 | + |
| 20 | 23 | $wgFFmpegLocation = 'ffmpeg'; |
| 21 | 24 | $wgExtensionMessagesFiles['OggHandler'] = "$oggDir/OggHandler.i18n.php"; |
| 22 | 25 | $wgParserOutputHooks['OggHandler'] = array( 'OggHandler', 'outputHook' ); |
| Index: trunk/extensions/OggHandler/OggHandler_body.php |
| — | — | @@ -309,7 +309,7 @@ |
| 310 | 310 | } |
| 311 | 311 | |
| 312 | 312 | function setHeaders( $out ) { |
| 313 | | - global $wgScriptPath, $wgCortadoJarFile; |
| | 313 | + global $wgScriptPath, $wgOggScriptVersion, $wgCortadoJarFile; |
| 314 | 314 | if ( $out->hasHeadItem( 'OggHandler' ) ) { |
| 315 | 315 | return; |
| 316 | 316 | } |
| — | — | @@ -324,7 +324,7 @@ |
| 325 | 325 | $encCortadoUrl = Xml::encodeJsVar( "$wgScriptPath/extensions/OggHandler/$wgCortadoJarFile" ); |
| 326 | 326 | |
| 327 | 327 | $out->addHeadItem( 'OggHandler', <<<EOT |
| 328 | | -<script type="text/javascript" src="$wgScriptPath/extensions/OggHandler/OggPlayer.js"></script> |
| | 328 | +<script type="text/javascript" src="$wgScriptPath/extensions/OggHandler/OggPlayer.js?$wgOggScriptVersion"></script> |
| 329 | 329 | <script type="text/javascript"> |
| 330 | 330 | wgOggPlayer.msg = $jsMsgs; |
| 331 | 331 | wgOggPlayer.cortadoUrl = $encCortadoUrl; |