| Index: trunk/phase3/maintenance/backupPrefetch.inc |
| — | — | @@ -51,7 +51,7 @@ |
| 52 | 52 | * - text contents are immutable and should not change once |
| 53 | 53 | * recorded, so the previous dump is a reliable source |
| 54 | 54 | * |
| 55 | | - * Requires PHP 5 and the XMLReader PECL extension. |
| | 55 | + * Requires the XMLReader PECL extension. |
| 56 | 56 | * @ingroup Maintenance |
| 57 | 57 | */ |
| 58 | 58 | class BaseDump { |
| — | — | @@ -71,8 +71,8 @@ |
| 72 | 72 | * from the dump stream. May return null if the page is |
| 73 | 73 | * unavailable. |
| 74 | 74 | * |
| 75 | | - * @param int $page ID number of page to read |
| 76 | | - * @param int $rev ID number of revision to read |
| | 75 | + * @param $page Integer: ID number of page to read |
| | 76 | + * @param $rev Integer: ID number of revision to read |
| 77 | 77 | * @return string or null |
| 78 | 78 | */ |
| 79 | 79 | function prefetch( $page, $rev ) { |
| — | — | @@ -166,7 +166,8 @@ |
| 167 | 167 | * Shouldn't something like this be built-in to XMLReader? |
| 168 | 168 | * Fetches text contents of the current element, assuming |
| 169 | 169 | * no sub-elements or such scary things. |
| 170 | | - * @return string |
| | 170 | + * |
| | 171 | + * @return String |
| 171 | 172 | * @access private |
| 172 | 173 | */ |
| 173 | 174 | function nodeContents() { |