Manual talk:MediaWiki.php

Rename this page
This page should be moved to Manual:MediaWiki.php, since it was renamed in core long ago (see file links in the page itself). Apparently only translator admins can move translatable pages --Ciencia Al Poder (talk) 10:25, 20 July 2015 (UTC)


 * Done. Jdforrester (WMF) (talk) 22:21, 15 July 2016 (UTC)


 * I'm a bit confused because I still see this page sitting on the old name. Pinging in case he can help, since now that I'm sysop I can't rename it neither. --Ciencia Al Poder (talk) 00:25, 16 July 2016 (UTC)