| Index: trunk/extensions/ProofreadPage/ProofreadPage.php |
| — | — | @@ -14,6 +14,9 @@ |
| 15 | 15 | 'description' => 'Allow easy comparison of text to the original scan', |
| 16 | 16 | ); |
| 17 | 17 | |
| | 18 | +# Bump the version number every time you change proofread.js |
| | 19 | +$wgProofreadPageVersion = 1; |
| | 20 | + |
| 18 | 21 | /** |
| 19 | 22 | * |
| 20 | 23 | * Query the database to find if the current page is referred in an |
| — | — | @@ -86,7 +89,7 @@ |
| 87 | 90 | */ |
| 88 | 91 | |
| 89 | 92 | function wfProofreadPageParserOutput( &$out, &$pout ) { |
| 90 | | - global $wgTitle, $wgJsMimeType, $wgScriptPath, $wgRequest; |
| | 93 | + global $wgTitle, $wgJsMimeType, $wgScriptPath, $wgRequest, $wgProofreadPageVersion; |
| 91 | 94 | |
| 92 | 95 | wfProofreadPageLoadMessages(); |
| 93 | 96 | $action = $wgRequest->getVal('action'); |
| — | — | @@ -133,7 +136,7 @@ |
| 134 | 137 | $thumbURL = ''; |
| 135 | 138 | } |
| 136 | 139 | |
| 137 | | - $jsFile = htmlspecialchars( "$wgScriptPath/extensions/ProofreadPage/proofread.js" ); |
| | 140 | + $jsFile = htmlspecialchars( "$wgScriptPath/extensions/ProofreadPage/proofread.js?$wgProofreadPageVersion" ); |
| 138 | 141 | |
| 139 | 142 | $out->addScript( <<<EOT |
| 140 | 143 | <script type="$wgJsMimeType"> |