From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- includes/title/PageLinkRenderer.php | 1 + 1 file changed, 1 insertion(+) (limited to 'includes/title/PageLinkRenderer.php') diff --git a/includes/title/PageLinkRenderer.php b/includes/title/PageLinkRenderer.php index fb1096e0..ca91f583 100644 --- a/includes/title/PageLinkRenderer.php +++ b/includes/title/PageLinkRenderer.php @@ -29,6 +29,7 @@ * URLs, and how links are encoded in a given output format. * * @see https://www.mediawiki.org/wiki/Requests_for_comment/TitleValue + * @since 1.23 */ interface PageLinkRenderer { /** -- cgit v1.2.2