License information in the PHP headers