wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-28 00:20:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Replac.../maintenance
History
Fomafix 19c2bf2920 Simplify loops over array_keys 
Use native PHP feature of iterating over key-value pairs
instead of looking up the value if it's used.

Change-Id: I620add5f0f919923518557047773e5fff90827cf
2022-10-23 10:31:07 +00:00
..
replaceAll.php Simplify loops over array_keys 2022-10-23 10:31:07 +00:00