| Index: trunk/extensions/Translate/utils/TranslationHelpers.php |
| — | — | @@ -906,7 +906,12 @@ |
| 907 | 907 | } |
| 908 | 908 | |
| 909 | 909 | // Using newFromId instead of newFromTitle, because the page might have been renamed |
| 910 | | - $oldtext = Revision::newFromId( $translationRevision )->getText(); |
| | 910 | + $oldrev = Revision::newFromId( $translationRevision ); |
| | 911 | + if ( !$oldev ) { |
| | 912 | + // And someone might still have deleted it |
| | 913 | + return null; |
| | 914 | + } |
| | 915 | + $oldtext = $oldrev->getText(); |
| 911 | 916 | $newtext = Revision::newFromTitle( $definitionTitle, $latestRevision )->getText(); |
| 912 | 917 | |
| 913 | 918 | if ( $oldtext === $newtext ) { |