proofread extension use self.proofreadPageEditWidth in its javascript but php code use editWidth as js var name, see https://git.wikimedia.org/blob/mediawiki%2Fextensions%2FProofreadPage/3fb361970de57f5d0bc0490e132c985d0547974a/ProofreadPage.body.php#L296
Version: master
Severity: normal