Merge "PHP 7 compatibility: Fix variable interpolation in RevisionDeleter.php"