From 1a365e77dfb8825136626202b1df462731b42060 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sun, 16 Aug 2015 08:22:05 +0200 Subject: Update to MediaWiki 1.25.2 --- vendor/ruflin/elastica/phpdoc.dist.xml | 13 +++++++++++++ 1 file changed, 13 insertions(+) create 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 new file mode 100644 index 00000000..585a4687 --- /dev/null +++ b/vendor/ruflin/elastica/phpdoc.dist.xml @@ -0,0 +1,13 @@ + + + Elastica + + ./build/api + + + ./build/api + + + ./lib + + -- cgit v1.2.3-54-g00ecf