X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=includes%2Ftitle%2FMediaWikiTitleCodec.php;h=3ebb4430ece8c1d6eaeeffa7cf7ffdcbe9c5f670;hb=7afced64454ad30d688540f7626448ac2faefebb;hp=3bd66d40c6205c9582f2aedc6125b9a9cfa5a261;hpb=36fdf484e98446ddbf4ea7ec6a5f9939c37e14c5;p=lhc%2Fweb%2Fwiklou.git

diff --git a/includes/title/MediaWikiTitleCodec.php b/includes/title/MediaWikiTitleCodec.php
index 3bd66d40c6..3ebb4430ec 100644
--- a/includes/title/MediaWikiTitleCodec.php
+++ b/includes/title/MediaWikiTitleCodec.php
@@ -237,6 +237,7 @@ class MediaWikiTitleCodec implements TitleFormatter, TitleParser {
 	 * @param LinkTarget $title
 	 *
 	 * @return string
+	 * @suppress PhanUndeclaredProperty
 	 */
 	public function getPrefixedText( LinkTarget $title ) {
 		if ( !isset( $title->prefixedText ) ) {