From a56460ed7f698930da248fe8e9d609fc1497d987 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Thu, 12 Oct 2017 01:28:22 +0100
Subject: [PATCH] Remove PHP entry point

Change-Id: I7b578921bdf17d0d8fdc8b934f02f72e1e607923
---
 Echo.php | 43 -------------------------------------------
 1 file changed, 43 deletions(-)
 delete mode 100644 Echo.php

diff --git a/Echo.php b/Echo.php
deleted file mode 100644
index ecb65bcca..000000000
--- a/Echo.php
+++ /dev/null
@@ -1,43 +0,0 @@
-<?php
-/**
- * MediaWiki Extension: Echo
- * http://www.mediawiki.org/wiki/Extension:Echo
- *
- * Permission is hereby granted, free of charge, to any person obtaining a copy
- * of this software and associated documentation files (the "Software"), to deal
- * in the Software without restriction, including without limitation the rights
- * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
- * copies of the Software, and to permit persons to whom the Software is
- * furnished to do so, subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be included in
- * all copies or substantial portions of the Software.
- *
- * This program is distributed WITHOUT ANY WARRANTY.
- */
-
-/**
- *
- * @file
- * @ingroup Extensions
- * @author Andrew Garrett, Benny Situ, Ryan Kaldari, Erik Bernhardson
- * @licence MIT License
- */
-
-if ( function_exists( 'wfLoadExtension' ) ) {
-	wfLoadExtension( 'Echo' );
-	// Keep i18n globals so mergeMessageFileList.php doesn't break
-	$wgMessagesDirs['Echo'] = [
-		__DIR__ . '/i18n',
-		__DIR__ . '/i18n/api',
-	];
-	$wgExtensionMessagesFiles['EchoAliases'] = __DIR__ . '/Echo.alias.php';
-	/* wfWarn(
-		'Deprecated PHP entry point used for Echo extension. ' .
-		'Please use wfLoadExtension instead, ' .
-		'see https://www.mediawiki.org/wiki/Extension_registration for more details.'
-	); */
-	return;
-} else {
-	die( 'This version of the Echo extension requires MediaWiki 1.25+' );
-}