Rename wfBaseConvert.php maintenance script
authorReedy <reedy@wikimedia.org>
Tue, 24 Nov 2015 23:32:49 +0000 (23:32 +0000)
committerReedy <reedy@wikimedia.org>
Tue, 24 Nov 2015 23:34:21 +0000 (23:34 +0000)
commit5d032c0f6530a0104113fb80a896df27baafd709
tree55461603bb7af332f738288e4f95f49254b38fc2
parenta916a25607c15602d6395e52e98441ce45c5cec0
Rename wfBaseConvert.php maintenance script

Change-Id: I3174ceb040e9029ad8049a3e49c119bfac4aa386
autoload.php
maintenance/benchmarks/bench_Wikimedia_base_convert.php [new file with mode: 0644]
maintenance/benchmarks/bench_wfBaseConvert.php [deleted file]