We're using ReplaceText extension on Translatewiki.net.
When renaming / moving titles we get the following warning,
PHP Deprecated: Use of Title::isValidMoveOperation was deprecated in MediaWiki 1.25. [Called from SpecialReplaceText::getTitlesForMoveAndUnmoveableTitles in /srv/mediawiki/tags/2019-06-10_15:00:00/extensions/ReplaceText/src/SpecialReplaceText.php at line 348] in /srv/mediawiki/tags/2019-06-10_15:00:00/includes/debug/MWDebug.php on line 309 PHP Deprecated: Use of Title::moveTo was deprecated in MediaWiki 1.25. [Called from ReplaceTextJob::run in /srv/mediawiki/tags/2019-06-10_15:00:00/extensions/ReplaceText/src/ReplaceTextJob.php at line 69] in /srv/mediawiki/tags/2019-06-10_15:00:00/includes/debug/MWDebug.php on line 309
The code should be updated to use the MovePage class.