Manual:MoveBatch.php/de-formal

Details
moveBatch.php file is a maintenance script to move (rename) a batch of pages. If the target page already exist it will fail with an error message.

Example

 * Linux

Suppose, A page called  was created in   and we want to move it to   namespace. How to do that using moveBatch.php?
 * Windows

Command Code for batch moving will be like this:

Pages name should be arranged like this:
 * If you have local server, Run Apache+MySQL
 * Make list of pages you want to move and save as  file.

To open do this press then write   and press Command will be look e.g. like this:
 * Open your CMD (Command Prompt window).
 * In CMD show where is your php.exe located, then show where is your moveBatch.php located and finally give where is your list file location

That's it!