From 3cb4714e1546d471a66232e94c59a75416e6a323 Mon Sep 17 00:00:00 2001
From: Nemo bis <federicoleva@tiscali.it>
Date: Sun, 17 May 2015 09:07:32 +0200
Subject: [PATCH] Bump version to 0.5.0 to reflect massive updates in last year

Plenty of things have happened since the last update in
For instance the apparent fix of T65762, addition of EventLogging
logging, countless fixes and removals of dead/unsupported code.

Also add current main maintainer as first author name and update
composer.json so that Jenkins jobs pass.

Change-Id: I77bc74f7f4dc2b48b9d970b8d51001d44c2b3005
---
 WikiEditor.php | 10 ++++++++--
 composer.json  |  5 +++++
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/WikiEditor.php b/WikiEditor.php
index 6c61f31f..7119ac12 100644
--- a/WikiEditor.php
+++ b/WikiEditor.php
@@ -39,8 +39,14 @@ $wgWikiEditorFeatures = array(
 $wgExtensionCredits['other'][] = array(
 	'path' => __FILE__,
 	'name' => 'WikiEditor',
-	'author' => array( 'Trevor Parscal', 'Roan Kattouw', 'Nimish Gautam', 'Adam Miller' ),
-	'version' => '0.4.0',
+	'author' => array(
+		'Derk-Jan Hartman',
+		'Trevor Parscal',
+		'Roan Kattouw',
+		'Nimish Gautam',
+		'Adam Miller'
+	),
+	'version' => '0.5.0',
 	'url' => 'https://www.mediawiki.org/wiki/Extension:WikiEditor',
 	'descriptionmsg' => 'wikieditor-desc',
 );
diff --git a/composer.json b/composer.json
index 800bf156..79d1522a 100644
--- a/composer.json
+++ b/composer.json
@@ -1,4 +1,9 @@
 {
+  "name": "mediawiki/wikieditor",
+  "type": "mediawiki-extension",
+  "description": "Advanced wikitext editing interface",
+  "homepage": "https://www.mediawiki.org/wiki/Extension:WikiEditor",
+  "license": "GPL-2.0+",
 	"require-dev": {
 		"jakub-onderka/php-parallel-lint": "0.8.0",
 		"mediawiki/mediawiki-codesniffer": "0.1.0"