[Mediawiki-l] merge phpbb and mediawiki