[Bug 32714] Extension HTMLets broken after upgrade to PHP 5.3.8

2012-03-14 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=32714 [[kgh]] changed: What|Removed |Added Resolution|FIXED |INVALID -- Configure bugmail: https://bugzi

[Bug 32714] Extension HTMLets broken after upgrade to PHP 5.3.8

2011-11-29 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=32714 mediaw...@kghoffmeyer.de changed: What|Removed |Added Status|NEW |RESOLVED Resolution|

[Bug 32714] Extension HTMLets broken after upgrade to PHP 5.3.8

2011-11-29 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=32714 --- Comment #2 from mediaw...@kghoffmeyer.de 2011-11-30 00:53:04 UTC --- One of these days. I did, but I moved it to the wrong wiki. Shame on me. :( -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email --- You are r

[Bug 32714] Extension HTMLets broken after upgrade to PHP 5.3.8

2011-11-29 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=32714 --- Comment #1 from Brion Vibber 2011-11-30 00:43:46 UTC --- It looks like this was fixed in r67215 back in June 2010. Try downloading a fresh copy of the HTMLets extension? -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi