{"shas":[["376915e49807f7a3d2c993016027076f88a465fb","0c32ba37d7e99133f7af25a38abc1a164b66e137@naderman.de","[feature/extension-manager] Remove cron's dependency on the extension manager.\n\nInstead a separate cron provider supplies the manager with tasks from the\nextension finder.\n\nPHPBB3-10323","Nils Adermann"]],"ref":"refs/heads/feature/extension-manager","size":1,"head":"376915e49807f7a3d2c993016027076f88a465fb","push_id":40165567}