From 8747de064932e308cfe5c77eb5f6a2ce0e0d3552 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Sun, 19 Apr 2020 23:35:28 +0100
Subject: [PATCH] Remove PHP entry point

Change-Id: Ic16b2b632c371e6d2180c17817e876aab30acddc
---
 PageImages.php | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 PageImages.php

diff --git a/PageImages.php b/PageImages.php
deleted file mode 100644
index 163a8bd..0000000
--- a/PageImages.php
+++ /dev/null
@@ -1,13 +0,0 @@
-<?php
-if ( function_exists( 'wfLoadExtension' ) ) {
-	wfLoadExtension( 'PageImages' );
-	// Keep i18n globals so mergeMessageFileList.php doesn't break
-	$wgMessagesDirs['PageImages'] = __DIR__ . '/i18n';
-	wfWarn(
-		'Deprecated PHP entry point used for PageImages extension. Please use wfLoadExtension instead, ' .
-		'see https://www.mediawiki.org/wiki/Extension_registration for more details.'
-	);
-	return;
-} else {
-	die( 'This version of the PageImages extension requires MediaWiki 1.29+' );
-}