diff options
author | Gergő Tisza <tgr.huwiki@gmail.com> | 2024-05-19 18:16:14 +0200 |
---|---|---|
committer | Gergő Tisza <tgr.huwiki@gmail.com> | 2024-05-19 18:16:14 +0200 |
commit | e41b66c93a9d96f5a3896cb9c2f71cab57dc75bb (patch) | |
tree | 45fd335002e26ed0da0381805123527fd37b9350 /includes/diff/TextDiffer/BaseTextDiffer.php | |
parent | a28141db3f51ca5d1dc27318b3f6457ffa5abe02 (diff) | |
download | mediawikicore-e41b66c93a9d96f5a3896cb9c2f71cab57dc75bb.tar.gz mediawikicore-e41b66c93a9d96f5a3896cb9c2f71cab57dc75bb.zip |
PermissionManager: Move a confusingly positioned comment block
Change-Id: I271d51f75fddb932fbde4fd79a3aba0bd233ab2d
Diffstat (limited to 'includes/diff/TextDiffer/BaseTextDiffer.php')
0 files changed, 0 insertions, 0 deletions