diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-12-01 22:58:37 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-12-01 22:58:37 +0000 |
| commit | cb3cda180c7a1cf224f4bdc7d23e410ff19c9c9e (patch) | |
| tree | 9b2c0521fe413a6a4e3950362dc4a362e90cdb6e /resources/src/jquery/jquery.highlightText.js | |
| parent | 0fc6de53d95e8cb6f0e6e3558b02a4951d276f12 (diff) | |
| parent | d7bb468dd02272fd3ea11d1becedca586a1e7b9c (diff) | |
| download | mediawikicore-cb3cda180c7a1cf224f4bdc7d23e410ff19c9c9e.tar.gz mediawikicore-cb3cda180c7a1cf224f4bdc7d23e410ff19c9c9e.zip | |
Merge "skinPrefs: Show/hide the skin prefs section after hide-if executed"
Diffstat (limited to 'resources/src/jquery/jquery.highlightText.js')
0 files changed, 0 insertions, 0 deletions