mirror of
https://github.com/mivodev/mivodev.github.io.git
synced 2026-01-25 21:18:44 +07:00
refactor: use external registry url and remove legacy scripts
This commit is contained in:
dyzulk
43
.github/workflows/update-registry.yml
vendored
43
.github/workflows/update-registry.yml
vendored
@@ -1,43 +0,0 @@
|
||||
name: Update Plugin Registry
|
||||
|
||||
on:
|
||||
schedule:
|
||||
- cron: '0 0 * * *' # Run daily at midnight
|
||||
workflow_dispatch: # Allow manual trigger
|
||||
|
||||
jobs:
|
||||
build:
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
permissions:
|
||||
contents: write # Needed to push changes
|
||||
|
||||
steps:
|
||||
- name: Checkout Repository
|
||||
uses: actions/checkout@v4
|
||||
|
||||
- name: Setup PHP
|
||||
uses: shivammathur/setup-php@v2
|
||||
with:
|
||||
php-version: '8.2'
|
||||
|
||||
- name: Generate Registry
|
||||
run: php scripts/generate_registry.php
|
||||
env:
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
- name: Check for Changes
|
||||
id: check_changes
|
||||
run: |
|
||||
if [[ -n $(git status -s public/plugins.json) ]]; then
|
||||
echo "has_changes=true" >> $GITHUB_OUTPUT
|
||||
fi
|
||||
|
||||
- name: Commit and Push
|
||||
if: steps.check_changes.outputs.has_changes == 'true'
|
||||
run: |
|
||||
git config --global user.name 'github-actions[bot]'
|
||||
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
|
||||
git add public/plugins.json
|
||||
git commit -m "chore(registry): update plugins.json"
|
||||
git push
|
||||
@@ -12,15 +12,29 @@ const searchQuery = ref('')
|
||||
const activeCategory = ref('All')
|
||||
|
||||
// Fetch data
|
||||
onMounted(async () => {
|
||||
const fetchPlugins = async () => {
|
||||
loading.value = true
|
||||
try {
|
||||
const res = await fetch('/plugins.json')
|
||||
plugins.value = await res.json()
|
||||
// Fetch from the external registry repository
|
||||
const response = await fetch('https://mivodev.github.io/registry/plugins.json')
|
||||
if (!response.ok) throw new Error('Failed to fetch plugins')
|
||||
plugins.value = await response.json()
|
||||
} catch (e) {
|
||||
console.error("Failed to load plugins", e)
|
||||
console.error(e)
|
||||
// Fallback for local dev or if registry is down
|
||||
try {
|
||||
const localRes = await fetch('/plugins.json')
|
||||
if (localRes.ok) plugins.value = await localRes.json()
|
||||
} catch (err) {
|
||||
console.error('Local fallback failed', err)
|
||||
}
|
||||
} finally {
|
||||
loading.value = false
|
||||
}
|
||||
}
|
||||
|
||||
onMounted(async () => {
|
||||
fetchPlugins()
|
||||
})
|
||||
|
||||
// Categories
|
||||
|
||||
@@ -15,7 +15,7 @@ const formatSize = (bytes) => {
|
||||
|
||||
onMounted(async () => {
|
||||
try {
|
||||
const res = await fetch('/releases.json')
|
||||
const res = await fetch('https://mivodev.github.io/registry/releases.json')
|
||||
if (!res.ok) throw new Error('Failed to load releases')
|
||||
releases.value = await res.json()
|
||||
} catch (e) {
|
||||
|
||||
@@ -1,178 +0,0 @@
|
||||
<?php
|
||||
|
||||
/**
|
||||
* Mivo Plugin Registry Generator
|
||||
*
|
||||
* This script fetches all repositories from the 'mivodev' organization,
|
||||
* looks for 'plugin-*' repositories, fetches their 'plugin.php',
|
||||
* parses the metadata header, and generates 'public/plugins.json'.
|
||||
*/
|
||||
|
||||
// Configuration
|
||||
$orgName = 'mivodev';
|
||||
$outputFile = __DIR__ . '/../public/plugins.json';
|
||||
$githubToken = getenv('GITHUB_TOKEN'); // Needs to be set in Action secrets
|
||||
|
||||
function fetchUrl($url, $token = null) {
|
||||
$opts = [
|
||||
'http' => [
|
||||
'method' => 'GET',
|
||||
'header' => [
|
||||
'User-Agent: Mivo-Registry-Bot',
|
||||
$token ? "Authorization: token $token" : ''
|
||||
]
|
||||
]
|
||||
];
|
||||
$context = stream_context_create($opts);
|
||||
return file_get_contents($url, false, $context);
|
||||
}
|
||||
|
||||
echo "Starting Registry Generation...\n";
|
||||
|
||||
// 1. Fetch Repositories
|
||||
$reposUrl = "https://api.github.com/orgs/$orgName/repos?per_page=100";
|
||||
$reposJson = fetchUrl($reposUrl, $githubToken);
|
||||
|
||||
if (!$reposJson) {
|
||||
die("Error: Failed to fetch repositories.\n");
|
||||
}
|
||||
|
||||
$repos = json_decode($reposJson, true);
|
||||
$plugins = [];
|
||||
|
||||
foreach ($repos as $repo) {
|
||||
// Only process repositories starting with 'plugin-'
|
||||
if (strpos($repo['name'], 'plugin-') !== 0) {
|
||||
continue;
|
||||
}
|
||||
|
||||
echo "Processing: " . $repo['name'] . "\n";
|
||||
|
||||
// 2. Fetch Release Info (Prefer Releases)
|
||||
$releaseUrl = "https://api.github.com/repos/$orgName/{$repo['name']}/releases/latest";
|
||||
$releaseJson = fetchUrl($releaseUrl, $githubToken);
|
||||
$release = $releaseJson ? json_decode($releaseJson, true) : null;
|
||||
|
||||
// 3. Fetch plugin.php (From Release Tag if available, else Default Branch)
|
||||
$ref = $release ? $release['tag_name'] : $repo['default_branch'];
|
||||
$rawUrl = "https://raw.githubusercontent.com/$orgName/{$repo['name']}/{$ref}/plugin.php";
|
||||
$pluginContent = fetchUrl($rawUrl, $githubToken);
|
||||
|
||||
if (!$pluginContent) {
|
||||
echo " - Warning: plugin.php not found in $ref. Skipping.\n";
|
||||
continue;
|
||||
}
|
||||
|
||||
// 4. Parse Metadata
|
||||
// Regex looking for: * Key: Value
|
||||
preg_match_all('/^\s*\*\s*([a-zA-Z0-9 ]+):\s*(.+)$/m', $pluginContent, $matches, PREG_SET_ORDER);
|
||||
|
||||
$metadata = [];
|
||||
foreach ($matches as $match) {
|
||||
$key = strtolower(trim($match[1]));
|
||||
$value = trim($match[2]);
|
||||
$metadata[$key] = $value;
|
||||
}
|
||||
|
||||
// fallback if name is missing
|
||||
if (empty($metadata['plugin name'])) {
|
||||
echo " - Warning: 'Plugin Name' header missing. Skipping.\n";
|
||||
continue;
|
||||
}
|
||||
|
||||
// Determine Download URL & Version
|
||||
$downloadUrl = $repo['html_url'] . '/archive/refs/heads/' . $repo['default_branch'] . '.zip';
|
||||
$version = '0.0.1'; // Default
|
||||
|
||||
if ($release && !empty($release['assets'])) {
|
||||
// Use the first asset (ZIP) from the release
|
||||
$downloadUrl = $release['assets'][0]['browser_download_url'];
|
||||
$version = $release['tag_name'];
|
||||
echo " > Using Release: $version\n";
|
||||
} else {
|
||||
echo " > Using Branch: {$repo['default_branch']}\n";
|
||||
}
|
||||
|
||||
// Version from metadata overrides repo version if strictly needed,
|
||||
// but usually Release Tag is better trust source.
|
||||
// Let's use metadata version if available, falling back to tag.
|
||||
|
||||
// ...
|
||||
|
||||
// Construct Plugin Object
|
||||
$plugin = [
|
||||
'id' => $repo['name'],
|
||||
'name' => $metadata['plugin name'],
|
||||
'description' => $metadata['description'] ?? $repo['description'] ?? '',
|
||||
'author' => $metadata['author'] ?? $repo['owner']['login'],
|
||||
'version' => $metadata['version'] ?? $version, // Metadata > Tag > Default
|
||||
'category' => $metadata['category'] ?? 'Uncategorized',
|
||||
'tags' => array_map('trim', explode(',', $metadata['tags'] ?? '')),
|
||||
'repo' => $repo['html_url'],
|
||||
'download' => $downloadUrl,
|
||||
'readme' => '/plugins/' . $repo['name'],
|
||||
'updated_at' => $repo['updated_at']
|
||||
];
|
||||
|
||||
// Clean up empty tags
|
||||
$plugin['tags'] = array_filter($plugin['tags']);
|
||||
|
||||
$plugins[] = $plugin;
|
||||
echo " + Added: " . $plugin['name'] . "\n";
|
||||
}
|
||||
|
||||
// 4. Save to JSON
|
||||
$json = json_encode($plugins, JSON_UNESCAPED_SLASHES);
|
||||
file_put_contents($outputFile, $json);
|
||||
|
||||
echo "Done! Generated " . count($plugins) . " plugins in JSON.\n";
|
||||
|
||||
// 5. Generate Documentation Pages (Mirroring)
|
||||
echo "Starting Documentation Mirroring...\n";
|
||||
$docsDir = __DIR__ . '/../plugins'; // Target directory
|
||||
|
||||
foreach ($plugins as $plugin) {
|
||||
echo "Mirroring docs for: " . $plugin['name'] . "\n";
|
||||
|
||||
// Fetch README
|
||||
$readmeUrl = "https://raw.githubusercontent.com/$orgName/{$plugin['id']}/{$repo['default_branch']}/README.md";
|
||||
$readmeContent = fetchUrl($readmeUrl, $githubToken);
|
||||
|
||||
if (!$readmeContent) {
|
||||
// Try master/main if default branch fetch failed
|
||||
$readmeContent = fetchUrl("https://raw.githubusercontent.com/$orgName/{$plugin['id']}/main/README.md", $githubToken);
|
||||
}
|
||||
|
||||
if ($readmeContent) {
|
||||
// Sanitize & Prepend Frontmatter
|
||||
$title = $plugin['name'];
|
||||
$desc = $plugin['description'];
|
||||
|
||||
// Remove the first # H1 if it matches the title (or any H1) to avoid duplication
|
||||
// This removes the first line if it starts with #
|
||||
$readmeContent = preg_replace('/^#\s+.+\n/', '', $readmeContent, 1);
|
||||
$readmeContent = trim($readmeContent);
|
||||
|
||||
$mdContent = <<<EOT
|
||||
---
|
||||
layout: doc
|
||||
title: "$title"
|
||||
description: "$desc"
|
||||
---
|
||||
|
||||
# $title
|
||||
|
||||
$readmeContent
|
||||
|
||||
---
|
||||
*This documentation is automatically mirrored from the [source repository]({$plugin['repo']}).*
|
||||
EOT;
|
||||
|
||||
// Save to plugins/[id].md
|
||||
file_put_contents("$docsDir/{$plugin['id']}.md", $mdContent);
|
||||
echo " + Created: plugins/{$plugin['id']}.md\n";
|
||||
} else {
|
||||
echo " - Warning: README not found for {$plugin['id']}\n";
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user