Guest User

PHP

a guest
Jun 1st, 2015
160
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.70 KB | None | 0 0
  1. <?php
  2. // This file automatically generates packages.json
  3.  
  4. $files = glob("*.json");
  5.  
  6. if ($files === false) {
  7. $files = [];
  8. }
  9.  
  10. $document = [
  11. 'minimumVersion' => 1,
  12. 'packages' => [],
  13. ];
  14.  
  15. foreach ($files as $file) {
  16. $data = json_decode(file_get_contents($file));
  17. if (isset($data->name) && isset($data->version)) {
  18. $document['packages'][] = [
  19. 'name' => $data->name,
  20. 'title' => isset($data->title) ? $data->title : $data->name,
  21. 'version' => $data->version,
  22. 'location' => basename($file),
  23. 'priority' => 1,
  24. ];
  25. }
  26. }
  27.  
  28. header("Content-Type: text/plain");
  29. echo json_encode($document, JSON_PRETTY_PRINT);
Advertisement
Add Comment
Please, Sign In to add comment