1*85b0dd7dSAndreas Gohr<?php 2*85b0dd7dSAndreas Gohr/** 3*85b0dd7dSAndreas Gohr * @deprecated 2020-06-04 use taskrunner instead 4*85b0dd7dSAndreas Gohr */ 5*85b0dd7dSAndreas Gohrinclude __DIR__ . '/taskrunner.php'; 6