wikimedia /
mediawiki
| @@ 237-245 (lines=9) @@ | ||
| 234 | // Replacement request that will convert to original requests |
|
| 235 | $newReplaceReqsByService[$prefix][$index] = $req; |
|
| 236 | } |
|
| 237 | if ( isset( $req['response'] ) ) { |
|
| 238 | // Replacement requests with pre-set responses should not execute |
|
| 239 | unset( $executeReqs[$index] ); |
|
| 240 | unset( $origPending[$index] ); |
|
| 241 | $doneReqs[$index] = $req; |
|
| 242 | } else { |
|
| 243 | // Original or mangled request included |
|
| 244 | $executeReqs[$index] = $req; |
|
| 245 | } |
|
| 246 | $checkReqIndexesByPrefix[$prefix][$index] = 1; |
|
| 247 | } |
|
| 248 | } |
|
| @@ 273-280 (lines=8) @@ | ||
| 270 | // Replacement requests with pre-set responses should not execute |
|
| 271 | $newReplaceReqsByService[$prefix][$index] = $req; |
|
| 272 | } |
|
| 273 | if ( isset( $req['response'] ) ) { |
|
| 274 | // Replacement requests with pre-set responses should not execute |
|
| 275 | unset( $origPending[$index] ); |
|
| 276 | $doneReqs[$index] = $req; |
|
| 277 | } else { |
|
| 278 | // Update the request in case it was mangled |
|
| 279 | $executeReqs[$index] = $req; |
|
| 280 | } |
|
| 281 | } |
|
| 282 | } |
|
| 283 | // Update index of requests to inspect for replacement |
|
