From 70155259a7b4876e0fe11f9caa66d5aabd84737a Mon Sep 17 00:00:00 2001
From: Patrick Uiterwijk <puiterwijk@redhat.com>
Date: Thu, 23 Nov 2017 00:52:13 +0000
Subject: [PATCH] This plugin is no longer there

Signed-off-by: Patrick Uiterwijk <puiterwijk@redhat.com>
---
 roles/mediawiki/templates/LocalSettings.php.fp.j2 | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/roles/mediawiki/templates/LocalSettings.php.fp.j2 b/roles/mediawiki/templates/LocalSettings.php.fp.j2
index 4d4570c160..e4897c8e83 100644
--- a/roles/mediawiki/templates/LocalSettings.php.fp.j2
+++ b/roles/mediawiki/templates/LocalSettings.php.fp.j2
@@ -324,9 +324,6 @@ require_once "$IP/extensions/Interwiki/Interwiki.php";
 require_once "$IP/extensions/Cite/Cite.php";
 require_once "$IP/extensions/fedmsg-emit.php";
 require_once "$IP/extensions/HTTP302Found/HTTP302Found.php";
-{% if env != "staging" %}
-require_once "$IP/extensions/intersection/DynamicPageList.php";
-{% endif %}
 require_once "$IP/extensions/RSS/RSS.php";
 require_once "$IP/extensions/BassetSubmitter.php";