wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add revision ids of js/css pages to URLs to have them auto-reloaded by users' browsers when they are changed on the wiki

Browse source
This commit is contained in:
Liangent 2010-06-09 10:15:57 +00:00
parent d0cbc88d98
commit ab8947fca2
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Gadgets.php
View file

@ -202,12 +202,12 @@ function wfApplyGadgetCode( $code, $out, &$done ) {
if ( !$t ) continue;
if ( preg_match( '/\.js/', $codePage ) ) {
$u = $t->getLocalURL( 'action=raw&ctype=' . $wgJsMimeType );
$u = $t->getLocalURL( 'action=raw&ctype=' . $wgJsMimeType . '&' . $t->getLatestRevID() );
//switched to addScriptFile call to support scriptLoader
$out->addScriptFile( $u );
}
else if ( preg_match( '/\.css/', $codePage ) ) {
$u = $t->getLocalURL( 'action=raw&ctype=text/css' );
$u = $t->getLocalURL( 'action=raw&ctype=text/css&' . $t->getLatestRevID() );
$out->addScript( Html::linkedStyle( $u ) );
}
}