185b0dd7dSAndreas Gohr<?php 2*d4f83172SAndreas Gohr 385b0dd7dSAndreas Gohr/** 485b0dd7dSAndreas Gohr * @deprecated 2020-06-04 use taskrunner instead 585b0dd7dSAndreas Gohr */ 6*d4f83172SAndreas Gohr 785b0dd7dSAndreas Gohrinclude __DIR__ . '/taskrunner.php'; 8