diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-11-01 15:46:25 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-11-01 15:46:25 +0000 |
| commit | 08045dd3fba6f82503eb43fd8211122e2a4c6838 (patch) | |
| tree | 1e90329ca4f7de41cae7e8f44436bd7f5bdcd682 /includes/context/RequestContext.php | |
| parent | 4a9787e682d916a7612dfd1cb0f3376dc28c37b4 (diff) | |
| parent | 00f2cd7eb3e75f47f2db2549f8daed24e1138780 (diff) | |
| download | mediawikicore-08045dd3fba6f82503eb43fd8211122e2a4c6838.tar.gz mediawikicore-08045dd3fba6f82503eb43fd8211122e2a4c6838.zip | |
Merge "UserInputWidget: Don't autocomplete if only IPs are accepted"
Diffstat (limited to 'includes/context/RequestContext.php')
0 files changed, 0 insertions, 0 deletions