wikimedia /
mediawiki
| @@ 228-236 (lines=9) @@ | ||
| 225 | // Replacement request that will convert to original requests |
|
| 226 | $newReplaceReqsByService[$prefix][$index] = $req; |
|
| 227 | } |
|
| 228 | if ( isset( $req['response'] ) ) { |
|
| 229 | // Replacement requests with pre-set responses should not execute |
|
| 230 | unset( $executeReqs[$index] ); |
|
| 231 | unset( $origPending[$index] ); |
|
| 232 | $doneReqs[$index] = $req; |
|
| 233 | } else { |
|
| 234 | // Original or mangled request included |
|
| 235 | $executeReqs[$index] = $req; |
|
| 236 | } |
|
| 237 | $checkReqIndexesByPrefix[$prefix][$index] = 1; |
|
| 238 | } |
|
| 239 | } |
|
| @@ 266-273 (lines=8) @@ | ||
| 263 | // Replacement requests with pre-set responses should not execute |
|
| 264 | $newReplaceReqsByService[$prefix][$index] = $req; |
|
| 265 | } |
|
| 266 | if ( isset( $req['response'] ) ) { |
|
| 267 | // Replacement requests with pre-set responses should not execute |
|
| 268 | unset( $origPending[$index] ); |
|
| 269 | $doneReqs[$index] = $req; |
|
| 270 | } else { |
|
| 271 | // Update the request in case it was mangled |
|
| 272 | $executeReqs[$index] = $req; |
|
| 273 | } |
|
| 274 | } |
|
| 275 | } |
|
| 276 | // Update index of requests to inspect for replacement |
|
