Manual:AjaxDispatcher.php

From mediawiki.org