Manual talk:FixDoubleRedirects.php

I have read this manual, and I'm not really helped. Is there a way for users, admins, or anyone who doesn't have direct access to the server to use this script to fix double redirects?Joeytje50 (talk) 09:31, 31 May 2012 (UTC)
 * Extension:MaintenanceShell --wargo (talk) 15:06, 31 May 2012 (UTC)