Remove mediawiki integration files (#118)

wmde · Aug 11, 2017 · 3420ca3 · 3420ca3
1 parent 9048248
commit 3420ca3
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 21 deletions.
diff --git a/composer.json b/composer.json
@@ -40,10 +40,7 @@
 	"autoload": {
 		"psr-4": {
 			"Wikibase\\InternalSerialization\\": "src/"
-		},
-		"files" : [
-			"mediawiki.php"
-		]
+		}
 	},
 	"extra": {
 		"branch-alias": {

diff --git a/mediawiki-extension.json b/mediawiki-extension.json
diff --git a/mediawiki.php b/mediawiki.php