Extension:AddPageService/AddPageService.php

From mediawiki.org