Hey,
There is also the Push extension [0] which is there to facilitate pushing
pages from one wiki (ie a private one) to another (ie a public one).
[0]
https://www.mediawiki.org/wiki/Extension:Push
Cheers
--
Jeroen De Dauw
http://www.bn2vs.com
Don't panic. Don't be evil.
--