MediaWiki:Patrol-reverted-ok/en

The edit was reverted.