diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-12-03 17:15:03 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-12-03 17:15:03 +0000 |
| commit | d5c55253811023d026ce83a53d8c0d9cc2a69ccb (patch) | |
| tree | f3b348907811893a49e360e0cdc05a7e47735c62 /resources/lib/jquery.ui/jquery.ui.tabs.js | |
| parent | 0edfdb40103c63235df0cd697cc907d57e70776f (diff) | |
| parent | e69efdaacaf832c2d302819251348477225edff0 (diff) | |
| download | mediawikicore-d5c55253811023d026ce83a53d8c0d9cc2a69ccb.tar.gz mediawikicore-d5c55253811023d026ce83a53d8c0d9cc2a69ccb.zip | |
Merge "Deprecate wfAppendToArrayIfNotDefault"
Diffstat (limited to 'resources/lib/jquery.ui/jquery.ui.tabs.js')
0 files changed, 0 insertions, 0 deletions