re-enable WikiEditor extension