From 444634bbe559264f8a1c7013f1beb17301b441be Mon Sep 17 00:00:00 2001
From: Leszek Manicki <leszek.manicki@wikimedia.de>
Date: Wed, 4 Oct 2017 17:45:35 +0200
Subject: [PATCH] Remove the remaining ResourceLoader module definition file

---
 lib/resources.php | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 lib/resources.php

diff --git a/lib/resources.php b/lib/resources.php
deleted file mode 100644
index a409b56..0000000
--- a/lib/resources.php
+++ /dev/null
@@ -1,33 +0,0 @@
-<?php
-/**
- * @license GPL-2.0+
- * @author Daniel Werner < daniel.werner@wikimedia.de >
- * @author H. Snater < mediawiki@snater.com >
- *
- * @codeCoverageIgnoreStart
- */
-return call_user_func( function() {
-	preg_match( '+' . preg_quote( DIRECTORY_SEPARATOR ) . '(?:vendor|extensions)'
-		. preg_quote( DIRECTORY_SEPARATOR ) . '.*+', __DIR__, $remoteExtPath );
-
-	$moduleTemplate = [
-		'localBasePath' => __DIR__,
-		'remoteExtPath' => '..' . $remoteExtPath[0]
-	];
-
-	return [
-		'globeCoordinate.js' => $moduleTemplate + [
-			'scripts' => [
-				'globeCoordinate/globeCoordinate.js',
-				'globeCoordinate/globeCoordinate.Formatter.js',
-				'globeCoordinate/globeCoordinate.GlobeCoordinate.js',
-			],
-		],
-
-		'util.inherit' => $moduleTemplate + [
-			'scripts' => [
-				'util/util.inherit.js',
-			],
-		],
-	];
-} );