| Index: trunk/extensions/ProofreadPage/ProofreadPage.php |
| — | — | @@ -17,18 +17,18 @@ |
| 18 | 18 | # Allows for extracting text from djvu files. To enable, set to 'djvutxt' or similar |
| 19 | 19 | $wgDjvutxt = null; |
| 20 | 20 | |
| | 21 | +# Bump the version number every time you change proofread.js |
| | 22 | +$wgProofreadPageVersion = 19; |
| 21 | 23 | |
| 22 | | - |
| 23 | | - |
| 24 | 24 | $wgExtensionCredits['other'][] = array( |
| 25 | 25 | 'name' => 'ProofreadPage', |
| 26 | 26 | 'author' => 'ThomasV', |
| | 27 | + 'version' => '2009-04-20', |
| 27 | 28 | 'url' => 'http://www.mediawiki.org/wiki/Extension:Proofread_Page', |
| 28 | 29 | 'description' => 'Allow easy comparison of text to the original scan', |
| 29 | 30 | 'descriptionmsg' => 'proofreadpage_desc', |
| 30 | 31 | ); |
| 31 | 32 | |
| 32 | | - |
| 33 | 33 | $wgExtensionFunctions[] = "pr_main"; |
| 34 | 34 | $wgAjaxExportList[] = "pr_fetch_djvutxt"; |
| 35 | 35 | |
| — | — | @@ -62,10 +62,6 @@ |
| 63 | 63 | return ""; |
| 64 | 64 | } |
| 65 | 65 | |
| 66 | | - |
| 67 | | -# Bump the version number every time you change proofread.js |
| 68 | | -$wgProofreadPageVersion = 18; |
| 69 | | - |
| 70 | 66 | /** |
| 71 | 67 | * |
| 72 | 68 | * Query the database to find if the current page is referred in an Index page. |