Extension:SearchRealnames/SearchRealnames.php

From mediawiki.org