[Bug 18010] Remove .php5 files from MediaWiki root

2014-02-19 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=18010 Andre Klapper changed: What|Removed |Added Keywords|easy| Target Milestone|Future release

[Bug 18010] Remove .php5 files from MediaWiki root

2013-04-08 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=18010 jeremyb changed: What|Removed |Added CC||bugzilla+org.wikimedia@tuxm

[Bug 18010] Remove .php5 files from MediaWiki root

2013-04-08 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=18010 --- Comment #9 from MZMcBride --- At , Tim wrote: --- It seems like the wrong thing to do as a first step. It seems more sensible to remove $wgScriptExtension, convert the .php5 files to redirects instead

[Bug 18010] Remove .php5 files from MediaWiki root

2013-02-24 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=18010 Krinkle changed: What|Removed |Added CC||krinklem...@gmail.com -- You are receiving

[Bug 18010] Remove .php5 files from MediaWiki root

2012-12-14 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=18010 taste...@gmx.at changed: What|Removed |Added CC||taste...@gmx.at --- Comment #8 from t

[Bug 18010] Remove .php5 files from MediaWiki root

2012-11-26 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=18010 --- Comment #7 from MZMcBride 2012-11-26 23:23:27 UTC --- (In reply to comment #5) > Wondering if we should drop redirect.phtml and wiki.phtml as well--most hosts > are unlikely to have these extensions registered for PHP anyway. As long as en

[Bug 18010] Remove .php5 files from MediaWiki root

2012-11-26 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=18010 --- Comment #6 from Brion Vibber 2012-11-26 19:22:46 UTC --- Yes, kill them please. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are the assignee for th

[Bug 18010] Remove .php5 files from MediaWiki root

2012-11-26 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=18010 Chad H. changed: What|Removed |Added CC||innocentkil...@gmail.com --- Comment #5 from

[Bug 18010] Remove .php5 files from MediaWiki root

2012-09-09 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=18010 MZMcBride changed: What|Removed |Added Keywords||easy Target Milestone|---