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)

@Ciencia Al Poder: 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 @Shirayuki: 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)

@Ciencia Al Poder:  Done. Broken links should be fixed. --Shirayuki (talk) 00:47, 16 July 2016 (UTC)