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

---
 .../ruflin/elastica/lib/Elastica/Filter/NumericRange.php  | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 vendor/ruflin/elastica/lib/Elastica/Filter/NumericRange.php

(limited to 'vendor/ruflin/elastica/lib/Elastica/Filter/NumericRange.php')

diff --git a/vendor/ruflin/elastica/lib/Elastica/Filter/NumericRange.php b/vendor/ruflin/elastica/lib/Elastica/Filter/NumericRange.php
deleted file mode 100644
index 5a6e2551..00000000
--- a/vendor/ruflin/elastica/lib/Elastica/Filter/NumericRange.php
+++ /dev/null
@@ -1,15 +0,0 @@
-<?php
-
-namespace Elastica\Filter;
-
-/**
- * Numeric Range Filter
- *
- * @category Xodoa
- * @package Elastica
- * @author Nicolas Ruflin <spam@ruflin.com>
- * @link http://www.elasticsearch.org/guide/reference/query-dsl/numeric-range-filter.html
- */
-class NumericRange extends Range
-{
-}
-- 
cgit v1.2.3-54-g00ecf