| Index: trunk/phase3/includes/parser/ParserCache.php |
| — | — | @@ -81,8 +81,6 @@ |
| 82 | 82 | * Used to provide a unique id for the PoolCounter. |
| 83 | 83 | * It would be preferable to have this code in get() |
| 84 | 84 | * instead of having Article looking in our internals. |
| 85 | | - * |
| 86 | | - * Precondition: $article->checkTouched() has been called. |
| 87 | 85 | */ |
| 88 | 86 | public function getKey( $article, $popts, $useOutdated = true ) { |
| 89 | 87 | global $wgCacheEpoch; |