Page MenuHomePhabricator

PHP Notice: Undefined index: edittoken in /www/w/extensions/Translate/utils/TranslationEditPage.php on line 110
Closed, ResolvedPublic

Description

This is because API doesn't provide edittokens to users who are not allowed to edit.

Started happening when I disabled anonymous editing.


Version: unspecified
Severity: normal

Details

Reference
bz36108