Skip to content

replace EmbedVideo extension#510

Merged
deer-wmde merged 3 commits into
mainfrom
de/embedvideofork
Dec 16, 2025
Merged

replace EmbedVideo extension#510
deer-wmde merged 3 commits into
mainfrom
de/embedvideofork

Conversation

@deer-wmde

@deer-wmde deer-wmde commented Dec 16, 2025 •
edited
Loading

Copy link
Copy Markdown
Contributor

https://phabricator.wikimedia.org/T412344

  • edited the artifact URL in pacman.yaml manually
  • edited wikiman for future proofing
  • but did not actually run wikiman script as this does not play nicely for some reason right now with the sync.sh script
  • ran sync.sh

@deer-wmde deer-wmde marked this pull request as ready for review December 16, 2025 15:40
@deer-wmde deer-wmde merged commit f705246 into main Dec 16, 2025
9 checks passed
@deer-wmde deer-wmde deleted the de/embedvideofork branch December 16, 2025 15:58
@deer-wmde deer-wmde mentioned this pull request Dec 16, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tarrow tarrow tarrow approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@deer-wmde @tarrow