Index: trunk/extensions/Collection/Collection.php |
— | — | @@ -37,6 +37,9 @@ |
38 | 38 | |
39 | 39 | # Configuration: |
40 | 40 | |
| 41 | +/** Bump the version number every time you change any of the JavaScript files */ |
| 42 | +$wgCollectionStyleVersion = 1; |
| 43 | + |
41 | 44 | /** URL of mw-serve render server */ |
42 | 45 | $wgCollectionMWServeURL = 'http://tools.pediapress.com/mw-serve/'; |
43 | 46 | |
— | — | @@ -95,6 +98,8 @@ |
96 | 99 | 'name' => 'Collection', |
97 | 100 | 'version' => '1.1', |
98 | 101 | 'author' => 'PediaPress GmbH', |
| 102 | + 'svn-date' => '$LastChangedDate$', |
| 103 | + 'svn-revision' => '$LastChangedRevision$', |
99 | 104 | 'url' => 'http://www.mediawiki.org/wiki/Extension:Collection', |
100 | 105 | 'description' => 'Collect articles, generate PDFs', |
101 | 106 | 'descriptionmsg' => 'coll-desc', |
Property changes on: trunk/extensions/Collection/Collection.php |
___________________________________________________________________ |
Added: svn:keywords |
102 | 107 | + LastChangedDate LastChangedRevision |
Index: trunk/extensions/Collection/Collection.body.php |
— | — | @@ -204,16 +204,16 @@ |
205 | 205 | function renderSpecialPage() { |
206 | 206 | global $wgCollectionFormats; |
207 | 207 | global $wgCollectionVersion; |
| 208 | + global $wgCollectionStyleVersion; |
208 | 209 | global $wgJsMimeType; |
209 | 210 | global $wgScriptPath; |
210 | 211 | global $wgOut; |
211 | | - global $wgStyleVersion; |
212 | | - |
| 212 | + |
213 | 213 | $this->setHeaders(); |
214 | 214 | $wgOut->addInlineScript( "var wgCollectionVersion = \"$wgCollectionVersion\";" ); |
215 | | - $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/jquery.js?$wgStyleVersion&$wgCollectionVersion\"></script>" ); |
216 | | - $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/jquery.ui.js?$wgStyleVersion&$wgCollectionVersion\"></script>" ); |
217 | | - $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/collection.js?$wgStyleVersion&$wgCollectionVersion\"></script>" ); |
| 215 | + $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/jquery.js?$wgCollectionStyleVersion\"></script>" ); |
| 216 | + $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/jquery.ui.js?$wgCollectionStyleVersion\"></script>" ); |
| 217 | + $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/collection.js?$wgCollectionStyleVersion\"></script>" ); |
218 | 218 | |
219 | 219 | $template = new CollectionPageTemplate(); |
220 | 220 | $template->set( 'collection', $_SESSION['wsCollection'] ); |
— | — | @@ -736,13 +736,13 @@ |
737 | 737 | |
738 | 738 | function renderRenderingPage() { |
739 | 739 | global $wgCollectionVersion; |
| 740 | + global $wgCollectionStyleVersion; |
740 | 741 | global $wgJsMimeType; |
741 | 742 | global $wgLang; |
742 | 743 | global $wgOut; |
743 | 744 | global $wgRequest; |
744 | 745 | global $wgScriptPath; |
745 | 746 | global $wgServer; |
746 | | - global $wgStyleVersion; |
747 | 747 | |
748 | 748 | $response = self::mwServeCommand( 'render_status', array( |
749 | 749 | 'collection_id' => $wgRequest->getVal( 'collection_id' ), |
— | — | @@ -768,8 +768,8 @@ |
769 | 769 | $wgOut->addInlineScript( 'var writer = "' . urlencode( $response['writer']) . '";' ); |
770 | 770 | $wgOut->addInlineScript( 'var collection_rendering = true;' ); |
771 | 771 | $wgOut->addInlineScript( "var wgCollectionVersion = \"$wgCollectionVersion\";" ); |
772 | | - $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/jquery.js?$wgStyleVersion&$wgCollectionVersion\"></script>" ); |
773 | | - $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/collection.js?$wgStyleVersion&$wgCollectionVersion\"></script>" ); |
| 772 | + $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/jquery.js?$wgCollectionStyleVersion\"></script>" ); |
| 773 | + $wgOut->addScript( "<script type=\"$wgJsMimeType\" src=\"$wgScriptPath/extensions/Collection/collection/collection.js?$wgCollectionStyleVersion\"></script>" ); |
774 | 774 | $wgOut->setPageTitle( wfMsg( 'coll-rendering_title' ) ); |
775 | 775 | |
776 | 776 | if ( isset($response['status']['status'] ) && $response['status']['status'] ) { |