Page MenuHomeGitPull.it
Differential D106

DataType: add localMedia
ClosedPublic
Actions

Authored by lucamauri on Mar 18 2023, 00:48.

Details

Reviewers
valerio.bozzolan
Commits
R21:93c302802c7b: DataType: add localMedia

Diff Detail

Repository
R21 boz-mw: MediaWiki API client
Branch
github-pr-lucamauri-patch-3 (branched from patch-3)
Lint
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 381
Build 547: arc lint + arc unit

Event Timeline

valerio.bozzolan requested review of this revision.Mar 18 2023, 00:48
valerio.bozzolan created this revision.
Harbormaster completed remote builds in B381: Diff 351.Mar 18 2023, 00:48
valerio.bozzolan accepted this revision.Mar 18 2023, 00:48
valerio.bozzolan foisted this revision upon lucamauri.
valerio.bozzolan added a reviewer: valerio.bozzolan.
This revision is now accepted and ready to land.Mar 18 2023, 00:48
Closed by commit R21:93c302802c7b: DataType: add localMedia. · Explain WhyMar 18 2023, 00:49
This revision was automatically updated to reflect the committed changes.
valerio.bozzolan added a commit: R21:93c302802c7b: DataType: add localMedia.

Revision Contents
Changeset List

PathSize
include/
wb/
5 lines

Diff 351

View Options

include/wb/DataType.php

Loading...
Public contents are in Creative Commons Attribution-ShareAlike 4.0 (CC-BY-SA) or GNU Free Documentation License (at your option) unless otherwise noted. · Contact / Register