mirror/webgui
1
0
Fork 0
mirror of https://github.com/unraid/webgui.git synced 2026-01-06 01:29:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

Feat: Add note if PR appears to have been merged

Browse Source
This commit is contained in:
Squidly271
2025-09-18 01:38:35 -04:00
committed by GitHub
parent 1f9bd5911b
commit 4699b4de6d
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
.github/scripts/generate-pr-plugin.sh vendored
View File

@@ -271,7 +271,14 @@ Link='nav-user'
<script>
$(function() {
// Check for updates (non-dismissible)
caPluginUpdateCheck("webgui-pr-PR_PLACEHOLDER.plg", {noDismiss: true});
caPluginUpdateCheck("webgui-pr-PR_PLACEHOLDER.plg", {noDismiss: true},function(result){
try {
let json = JSON.parse(result);
if ( ! json.version ) {
addBannerWarning("Note: webgui-pr-PR_PLACEHOLDER has either been merged or removed");
}
} catch(e) {}
});
// Create banner with uninstall link (nondismissible)
let bannerMessage = "Modified GUI installed via <b>webgui-pr-PR_PLACEHOLDER</b> plugin. " +