Update to MediaWiki 1.25.2

1 files changed, 15 insertions, 0 deletions

diff --git a/vendor/ruflin/elastica/test/bin/run_proxy.sh b/vendor/ruflin/elastica/test/bin/run_proxy.sh
new file mode 100644
index 00000000..c62db8cd
--- /dev/null
+++ b/vendor/ruflin/elastica/test/bin/run_proxy.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+sudo killall nginx 2>/dev/null
+
+echo "installing nginx"
+
+sudo apt-get install nginx
+
+echo "stopping stock nginx"
+
+/etc/init.d/nginx stop
+
+echo "running nginx"
+
+sudo nginx -p test/nginx/ -c nginx.conf