sync: dev to extern-contrib

[github-actions]

sync-branches: New code has just landed in dev, so let's bring extern-contrib up to speed!

Summary by Sourcery

Improve administrator identification and video replay handling while keeping video player styling and controls intact.

New Features:

• Display script administrators with violet usernames and a tooltip instead of a separate admin badge.
• Set descriptive page titles for contest and problem video replay pages.

Bug Fixes:

• Prevent monochrome styling and image enlargement from affecting video player controls and media.

Enhancements:

• Apply administrator username styling independently of rating-color settings and preserve custom badge layout.

Chores:

• Bump the userscript and package versions to 3.8.8 and add prerelease update metadata.

---

Summary by cubic

Syncs dev into extern-contrib, bringing script admins violet usernames with a tooltip instead of the separate admin badge, and fixes video replay page handling.

• Applies the admin styling whether or not rating colors are enabled, preventing custom badges from wrapping onto a second line.
• Stops the image enlarger from opening on video player images like the progress bar thumb.
• Excludes video player controls from the monochrome skin and image sizing rules.
• Sets descriptive page titles for contest and problem replay pages.
• Updates the userscript and package version to 3.8.8 and adds prerelease update metadata.

^{Written for commit 1213cac. Summary will update on new commits.}

[sourcery-ai]

Reviewer's guide (collapsed on small PRs)

Reviewer's Guide

Synchronizes extern-contrib with dev by adding dedicated violet styling and tooltip behavior for script administrators, removing their former badge, and releasing the changes as version 3.8.7 with updated metadata.

Flow diagram for script administrator username rendering

flowchart TD
    A[GetUsernameHTML] --> B{AdminUserList.includes}
    B -->|Yes| C[Add title 脚本管理员]
    C --> D[Apply xmoj-rating-admin violet class]
    D --> E[Render username without former admin badge]
    B -->|No| F{UtilityEnabled Rating}
    F -->|Yes| G[Apply rating-tier class]
    F -->|No| H[Render standard username]
    G --> E
    H --> E

Loading

File-Level Changes

Change	Details	Files
Replaces the separate script-admin badge with a dedicated violet username-link style and tooltip.	Adds normal and hover/focus admin color rules. Prioritizes admin styling over rating tiers and applies it even when ratings are disabled. Adds a Chinese admin tooltip and removes the former red badge while preserving regular user badges.	XMOJ.user.js
Bumps the project and userscript versions for the synchronized release.	Updates versions from 3.8.6 to 3.8.7.	XMOJ.user.js package.json
Adds synchronized update metadata.	Introduces the new update manifest content.	Update.json

---

Tips and commands

Interacting with Sourcery

• Trigger a new review: Comment @sourcery-ai review on the pull request.
• Continue discussions: Reply directly to Sourcery's review comments.
• Generate a GitHub issue from a review comment: Ask Sourcery to create an
  issue from a review comment by replying to it. You can also reply to a
  review comment with @sourcery-ai issue to create an issue from it.
• Generate a pull request title: Write @sourcery-ai anywhere in the pull
  request title to generate a title at any time. You can also comment
  @sourcery-ai title on the pull request to (re-)generate the title at any time.
• Generate a pull request summary: Write @sourcery-ai summary anywhere in
  the pull request body to generate a PR summary at any time exactly where you
  want it. You can also comment @sourcery-ai summary on the pull request to
  (re-)generate the summary at any time.
• Generate reviewer's guide: Comment @sourcery-ai guide on the pull
  request to (re-)generate the reviewer's guide at any time.
• Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
  pull request to resolve all Sourcery comments. Useful if you've already
  addressed all the comments and don't want to see them anymore.
• Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
  request to dismiss all existing Sourcery reviews. Especially useful if you
  want to start fresh with a new review - don't forget to comment
  @sourcery-ai review to trigger a new review!

Customizing Your Experience

Access your dashboard to:

• Enable or disable review features such as the Sourcery-generated pull request
  summary, the reviewer's guide, and others.
• Change the review language.
• Add, remove or edit custom review instructions.
• Adjust other review settings.

Getting Help

• Contact our support team for questions or feedback.
• Visit our documentation for detailed guides and information.
• Keep in touch with the Sourcery team by following us on X/Twitter, LinkedIn or GitHub.

[cloudflare-workers-and-pages]

Deploying xmoj-script-dev-channel with    Cloudflare Pages

Latest commit:	1213cac
Status:	✅  Deploy successful!
Preview URL:	https://1b29d169.xmoj-script-dev-channel.pages.dev

View logs

[sourcery-ai]

Hey - I've found 1 issue

Fixed security issues:

• Cross-site scripting (XSS) via untrusted HTML/JS injection in web rendering sinks (link)

Prompt for AI Agents

Please address the comments from this code review:

## Individual Comments

### Comment 1
<location path="XMOJ.user.js" line_range="707" />
<code_context>
         a.xmoj-rating-gray { color: #78828c !important; text-decoration-color: rgba(120, 130, 140, 0.5) !important; }
         a.xmoj-rating-gray:hover, a.xmoj-rating-gray:focus { color: #606870 !important; text-decoration-color: #606870 !important; }
+        a.xmoj-rating-admin { color: #a855f7 !important; text-decoration-color: rgba(168, 85, 247, 0.5) !important; }
+        a.xmoj-rating-admin:hover, a.xmoj-rating-admin:focus { color: #8644c6 !important; text-decoration-color: #8644c6 !important; }
 `;

</code_context>
<issue_to_address>
**Admin names are harder to read**

When the page is in dark theme and an admin username link is hovered or focused, `a.xmoj-rating-admin:hover` and `a.xmoj-rating-admin:focus` force `#8644c6` against Bootstrap’s `#212529` background, yielding about 3:1 contrast instead of the documented 3.3:1 minimum, so admin names are harder to read.

Use a hover and focus color that meets the documented contrast minimum in dark mode.
</issue_to_address>

Sourcery assessment

Approval pending. 1 finding to address first.

Blocking findings: XMOJ.user.js:707

---

Sourcery is free for open source - if you like our reviews please consider sharing them ✨

• X
• Mastodon
• LinkedIn
• Facebook

[sourcery-ai]

🟡 Medium · Admin names are harder to read

When the page is in dark theme and an admin username link is hovered or focused, a.xmoj-rating-admin:hover and a.xmoj-rating-admin:focus force #8644c6 against Bootstrap’s #212529 background, yielding about 3:1 contrast instead of the documented 3.3:1 minimum, so admin names are harder to read.

Use a hover and focus color that meets the documented contrast minimum in dark mode.

Prompt for AI agents

In `XMOJ.user.js` at line 707:

**Admin names are harder to read**

When the page is in dark theme and an admin username link is hovered or focused, `a.xmoj-rating-admin:hover` and `a.xmoj-rating-admin:focus` force `#8644c6` against Bootstrap’s `#212529` background, yielding about 3:1 contrast instead of the documented 3.3:1 minimum, so admin names are harder to read.

Use a hover and focus color that meets the documented contrast minimum in dark mode.