Index: trunk/tools/mwmultiversion/multiversion/MWVersion.php |
— | — | @@ -12,7 +12,7 @@ |
13 | 13 | * (b) Sets the MW_INSTALL_PATH environmental variable |
14 | 14 | * (c) Changes PHP's current directory to the directory of this file. |
15 | 15 | * |
16 | | - * @param string File path (relative to MediaWiki dir) |
| 16 | + * @param $file string File path (relative to MediaWiki dir) |
17 | 17 | * @return string Absolute file path with proper MW location |
18 | 18 | */ |
19 | 19 | function getMediaWiki( $file ) { |
— | — | @@ -72,7 +72,7 @@ |
73 | 73 | * (b) Sets the MW_INSTALL_PATH environmental variable |
74 | 74 | * (c) Changes PHP's current directory to the directory of this file. |
75 | 75 | * |
76 | | - * @param string File path (relative to MediaWiki dir) |
| 76 | + * @param $file string File path (relative to MediaWiki dir) |
77 | 77 | * @return string Absolute file path with proper MW location |
78 | 78 | */ |
79 | 79 | function getMediaWikiCli( $file ) { |
Index: trunk/tools/mwmultiversion/multiversion/MWMultiVersion.php |
— | — | @@ -284,7 +284,7 @@ |
285 | 285 | return substr( $this->version, 4 ); // remove "php-" |
286 | 286 | } |
287 | 287 | |
288 | | - /* |
| 288 | + /** |
289 | 289 | * Get the version number to use for building caches & binaries for this wiki. |
290 | 290 | * Like getVersionNumber() but may have a dash with another string appended. |
291 | 291 | * Some wikis may share core MW versions but be using different extension versions. |