wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-12-12 14:55:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Replac.../maintenance
History
Umherirrender 85969b01e2 build: Swap deprecated @codingStandardsIgnore to phpcs:ignore 
Bug: T278594
Change-Id: I42c60bcfb58c863dc37735258422e3307ed33dad
2021-04-04 00:00:48 +02:00
..
replaceAll.php build: Swap deprecated @codingStandardsIgnore to phpcs:ignore 2021-04-04 00:00:48 +02:00