Manual:MigrateArchiveText.php/de-formal

Details
migrateArchiveText.php is a maintenance script that migrates content from pre-1.5 ar_text and ar_flags columns to text storage.