Extension:Push/manual/Bulk pushing
This is the Push/manual/Bulk pushing part of the user manual for the Push extension.
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[edit]
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 Special:Push, 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 than going via the list of special pages.
- http://mywiki.com/wiki/
Main_Page→ http://mywiki.com/wiki/Special:Push - http://mywiki.com/w/index.php?title=
Main_Page→ http://mywiki.com/w/index.php?title=Special:Push
The interface[edit]
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 Special:Export, 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[edit]
You can specify the pages by typing their names line per line or copying in a list you obtained elsewhere. Like on Special:Export, 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[edit]
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".
