Extension:Push/manual/Bulk pushing

This is the part of the user manual for the Push extension.

The tab interface
Push enables you to push multiple pages (bulk push) in one go to one or more target wiki(s) via the Special:Push page.

Getting there
Like with the push tab, you need the correct privileges to use the bulk pushing facilities. This means you will most likely need to login for the links to the page to show up and might need an account in a special user group on some wikis.

One way to get to the bulk push page is via list of special pages, which is usually linked to from the sidebar menu.



In this list, you'll find "push pages" under the "Page tools" section.



The name of the page is, so it can be accessed by replacing the page name by it in the URL of any other page on your wiki. If you are frequently accessing the bulk push page, or any other special page, and are comfortable with it, this approach is faster then going via the list of special pages.


 * http://en.wikipedia.org/wiki/ &rarr; http://en.wikipedia.org/wiki/
 * http://en.wikipedia.org/w/index.php?title= &rarr; http://en.wikipedia.org/w/index.php?title=

The interface
The interface is centred around a big text field in which you can specify the pages you want to push, one page name per line. This is similar to how, MediaWikis built-in export facility, works. Directly underneath the text field are the options to include embedded files and templates, which behave identically to the ones found in the push tab interface. At the bottom of the interface is a list of target wikis you can push to. Check or uncheck the checkboxes to indicate which wikis should be pushed to.



Adding pages
You can specify the pages by typing their names line per line or copying in a list you obtained elsewhere. Like on, you can also choose to add pages based on category or namespace. Simply type the name of the category or select the namespace, and hit the corresponding "Add" button.



Doing the push
The push process can be started by hitting the "Push pages" button. When doing this, the page will reload and show what pages it's pushing. As the process goes along, a list of pushed pages is build up, keeping track of potential problems per page. If there is such a problem, the line will be colored dark red, if the push is successful, it'll turn grey and state "Title: Push completed".



When all pages have been pushed, this will be indicated by an entry "Push completed".