From 9db190c7e736ec8d063187d4241b59feaf7dc2d1 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Wed, 22 Jun 2011 11:28:20 +0200 Subject: update to MediaWiki 1.17.0 --- includes/specials/SpecialRandomredirect.php | 24 ++++++++++++++++++++++-- 1 file changed, 22 insertions(+), 2 deletions(-) (limited to 'includes/specials/SpecialRandomredirect.php') diff --git a/includes/specials/SpecialRandomredirect.php b/includes/specials/SpecialRandomredirect.php index 28cb2aae..88c81b31 100644 --- a/includes/specials/SpecialRandomredirect.php +++ b/includes/specials/SpecialRandomredirect.php @@ -1,11 +1,31 @@ , Ilmari Karonen + */ /** * Special page to direct the user to a random redirect page (minus the second redirect) * * @ingroup SpecialPage - * @author Rob Church , Ilmari Karonen - * @license GNU General Public Licence 2.0 or later */ class SpecialRandomredirect extends RandomPage { function __construct(){ -- cgit v1.2.3-54-g00ecf