Add a script to pull down the dynamically generated files directly from php.net

Author: markrandall

bin/sync-pregen.php

@@ -0,0 +1,37 @@
+<?php
+
+if (php_sapi_name() !== 'cli') {
+    die('This script must be run from the command line.');
+}
+
+$required_files = [
+    'include/pregen-events.inc',
+    'include/pregen-news.inc',
+    'include/pregen-confs.inc',
+    'feed.atom',
+    'news.rss',
+    'conferences/news.rss',
+    'backend/win-releases.json',
+    'backend/win-qa-releases.json',
+];
+
+fwrite(STDOUT, "Copying data from production server into local directories:\n");
+fwrite(STDOUT, "Do not commit these files!\n");
+
+foreach ($required_files as $fileName) {
+    $url = 'https://www.php.net/' . $fileName;
+    $source = @file_get_contents($url);
+    if ($source === false) {
+        fwrite(STDERR, "Unable to read " . $url . "\n");
+        exit(1);
+    }
+
+    $saveTo = __DIR__ . '/../' . $fileName;
+    $success = file_put_contents($saveTo, $source);
+    if ($success === false) {
+        fwrite(STDERR, "Unable to write to " . $saveTo . "\n");
+        exit(1);
+    }
+
+    fwrite(STDOUT, "Copied " . $url . " to " . $saveTo . "\n");
+}