VisualEditor.php: Add missing files for ProgressDialog

Change-Id: Iefa58756c23940e0ed878bb157204115eb889f21