From 85b0dd7dc57ad1ed613e26df94dee4b885657828 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Thu, 4 Jun 2020 13:29:53 +0200
Subject: [PATCH] readd lib/exe/indexer.php for now. fixes #3137

This ensures backward compability (especially for testing purposes)
---
 data/deleted.files  | 1 -
 lib/exe/indexer.php | 5 +++++
 2 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 lib/exe/indexer.php

diff --git a/data/deleted.files b/data/deleted.files
index 0d46be13d..1d5db7cd8 100644
--- a/data/deleted.files
+++ b/data/deleted.files
@@ -22,7 +22,6 @@ inc/lang/ru/wordblock.txt
 inc/parser/lexer.php
 inc/plugincontroller.class.php
 inc/subscription.php
-lib/exe/indexer.php
 lib/plugins/authmysql/auth.php
 lib/plugins/authmysql/conf/default.php
 lib/plugins/authmysql/conf/metadata.php
diff --git a/lib/exe/indexer.php b/lib/exe/indexer.php
new file mode 100644
index 000000000..c5f6e4081
--- /dev/null
+++ b/lib/exe/indexer.php
@@ -0,0 +1,5 @@
+<?php
+/**
+ * @deprecated 2020-06-04 use taskrunner instead
+ */
+include __DIR__ . '/taskrunner.php';