From 80f7dc77d430774192b929d780f96260066df2ee Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sun, 18 Oct 2015 09:31:31 +0200
Subject: Update to MediaWiki 1.25.3

---
 vendor/ruflin/elastica/phpdoc.dist.xml | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 vendor/ruflin/elastica/phpdoc.dist.xml

(limited to 'vendor/ruflin/elastica/phpdoc.dist.xml')

diff --git a/vendor/ruflin/elastica/phpdoc.dist.xml b/vendor/ruflin/elastica/phpdoc.dist.xml
deleted file mode 100644
index 585a4687..00000000
--- a/vendor/ruflin/elastica/phpdoc.dist.xml
+++ /dev/null
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" ?>
-<docblox>
-    <title>Elastica</title>
-    <parser>
-        <target>./build/api</target>
-    </parser>
-    <transformer>
-        <target>./build/api</target>
-    </transformer>
-    <files>
-        <directory>./lib</directory>
-    </files>
-</docblox>
-- 
cgit v1.2.2