Follow-up dfd0464: Remove LICENSE.txt for deleted library 'phpjs-sha1'