diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-05-08 11:22:55 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-05-08 11:22:55 +0000 |
| commit | 4d4d2a15a9d3901fcad7db840026feafedfd9ba9 (patch) | |
| tree | 9ae46a46743b3db9ca3dc2f4bb17e8cea3d35625 /includes/Rest/Module/RouteFileModule.php | |
| parent | d96e606e4f64e8bd5e57458754f089d07236238b (diff) | |
| parent | 028fc353f816217ba472e1235b25fdb8a9e86daf (diff) | |
| download | mediawikicore-4d4d2a15a9d3901fcad7db840026feafedfd9ba9.tar.gz mediawikicore-4d4d2a15a9d3901fcad7db840026feafedfd9ba9.zip | |
Merge "docs: document $.fn.injectSpinner() with a typedef"
Diffstat (limited to 'includes/Rest/Module/RouteFileModule.php')
0 files changed, 0 insertions, 0 deletions