Added typehint
authorjeroendedauw <jeroendedauw@gmail.com>
Fri, 25 Jan 2013 15:58:24 +0000 (16:58 +0100)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 25 Jan 2013 20:29:10 +0000 (20:29 +0000)
Change-Id: Ic71419e72f8cf0a12d9ea1be84fd0fcd838337d9

includes/parser/ParserOutput.php

index 5dddb00..822b31b 100644 (file)
@@ -189,7 +189,7 @@ class ParserOutput extends CacheTime {
         * @param $title Title object
         * @param $id Mixed: optional known page_id so we can skip the lookup
         */
-       function addLink( $title, $id = null ) {
+       function addLink( Title $title, $id = null ) {
                if ( $title->isExternal() ) {
                        // Don't record interwikis in pagelinks
                        $this->addInterwikiLink( $title );