Christoph Wurst d5927e4d01 Fix integer background job id type error vor 5 Jahren
..
Legacy 0215b004da Update with robin vor 8 Jahren
Job.php 0eebff152a Update license headers vor 7 Jahren
JobList.php d5927e4d01 Fix integer background job id type error vor 5 Jahren
QueuedJob.php 0eebff152a Update license headers vor 7 Jahren
TimedJob.php 0eebff152a Update license headers vor 7 Jahren