[MediaWiki-commits] [Gerrit] mediawiki...MinervaNeue[master]: Use preg_replace instead of str_replace for replacing extension
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/395888 ) Change subject: Use preg_replace instead of str_replace for replacing extension .. Use preg_replace instead of str_replace for r
[MediaWiki-commits] [Gerrit] mediawiki...MinervaNeue[master]: Use preg_replace instead of str_replace for replacing extension
Divadsn has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/395888 ) Change subject: Use preg_replace instead of str_replace for replacing extension .. Use preg_replace instead of str_replace for replacing ext