Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution

From:	Pierre Joye	Date:	Thu, 28 Feb 2013 17:40:12 +0000
Subject:	Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
References:	1 2 3	Groups:	php.internals
Request:	Send a blank email to [email protected] to get a copy of this message

On Thu, Feb 28, 2013 at 6:35 PM, Zeev Suraski <[email protected]> wrote:
> No syntax changes, so regular majority as far as I can tell.

Except if you want real integration included in this vote, as it will
or may affect the engine, 2/3 will be required then.

-- 
Pierre

@pierrejoye


   

Thread (112 messages)

• Zeev SuraskiWed, 27 Feb 2013 16:12:42 +0000
  • Alberto VianaWed, 27 Feb 2013 16:24:00 +0000
    • Anthony FerraraWed, 27 Feb 2013 16:58:56 +0000
      • Zeev SuraskiWed, 27 Feb 2013 19:31:48 +0000
        • David Soria ParraSat, 02 Mar 2013 20:48:06 +0000
  • Ferenc KovacsWed, 27 Feb 2013 21:01:29 +0000
    • Rasmus LerdorfWed, 27 Feb 2013 21:19:44 +0000
      • Nikita PopovWed, 27 Feb 2013 21:30:01 +0000
        • Adam Jon RichardsonWed, 27 Feb 2013 21:40:58 +0000
          • Adam Jon RichardsonWed, 27 Feb 2013 21:43:13 +0000
            • Nikita PopovWed, 27 Feb 2013 21:45:10 +0000
              • Adam Jon RichardsonWed, 27 Feb 2013 22:02:48 +0000
      • Ferenc KovacsWed, 27 Feb 2013 21:41:25 +0000
      • Pierre JoyeWed, 27 Feb 2013 22:16:31 +0000
        • Zeev SuraskiThu, 28 Feb 2013 10:21:22 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
          • Frank SchenkThu, 28 Feb 2013 10:47:21 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
            • Jordi BoggianoThu, 28 Feb 2013 14:33:06 +0000
              • Jan EhrhardtThu, 28 Feb 2013 14:57:31 +0000
          • Lester CaineThu, 28 Feb 2013 10:54:01 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
          • Pierre JoyeThu, 28 Feb 2013 11:56:53 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
            • Zeev SuraskiThu, 28 Feb 2013 13:06:07 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
              • Pierre JoyeThu, 28 Feb 2013 13:11:55 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                • Zeev SuraskiThu, 28 Feb 2013 15:29:02 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                  • Lester CaineThu, 28 Feb 2013 16:01:56 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
          • Ilia AlshanetskyThu, 28 Feb 2013 13:54:26 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
            • Anthony FerraraThu, 28 Feb 2013 14:01:30 +0000
              • Ilia AlshanetskyThu, 28 Feb 2013 18:56:30 +0000
                • Pierre JoyeThu, 28 Feb 2013 19:08:52 +0000
                  • Ilia AlshanetskyThu, 28 Feb 2013 19:16:33 +0000
                    • Pierre JoyeFri, 01 Mar 2013 02:01:29 +0000
                • Anthony FerraraThu, 28 Feb 2013 19:15:39 +0000
                  • Ilia AlshanetskyThu, 28 Feb 2013 19:21:04 +0000
                • Stas MalyshevThu, 28 Feb 2013 19:16:59 +0000
                  • Ilia AlshanetskyThu, 28 Feb 2013 19:25:33 +0000
            • Pierre JoyeThu, 28 Feb 2013 14:59:00 +0000
            • Martin NichollsThu, 28 Feb 2013 22:00:27 +0000
    • Bob WeinandWed, 27 Feb 2013 22:20:30 +0000
  • Pierre JoyeThu, 28 Feb 2013 06:53:46 +0000
    • Kalle Sommer NielsenThu, 28 Feb 2013 08:05:10 +0000
    • LaruenceSun, 03 Mar 2013 05:40:49 +0000
      • Zeev SuraskiSun, 03 Mar 2013 07:02:30 +0000
        • Pierre JoyeSun, 03 Mar 2013 07:07:24 +0000
          • Zeev SuraskiSun, 03 Mar 2013 07:21:19 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
            • Pierre JoyeSun, 03 Mar 2013 07:25:44 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
              • Rasmus LerdorfSun, 03 Mar 2013 07:41:12 +0000
                • Pierre JoyeSun, 03 Mar 2013 08:43:03 +0000
                  • Rasmus LerdorfSun, 03 Mar 2013 09:23:45 +0000
                    • Nikita PopovThu, 07 Mar 2013 16:01:51 +0000
                      • Zeev SuraskiThu, 07 Mar 2013 16:06:50 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                        • Nikita PopovThu, 07 Mar 2013 16:10:44 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                        • Pierre JoyeThu, 07 Mar 2013 16:26:58 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                      • Pierre JoyeThu, 07 Mar 2013 16:26:01 +0000
                        • Rasmus LerdorfThu, 07 Mar 2013 16:31:57 +0000
                          • Pierre JoyeThu, 07 Mar 2013 16:39:22 +0000
                          • Anthony FerraraThu, 07 Mar 2013 16:44:23 +0000
                            • Zeev SuraskiThu, 07 Mar 2013 16:52:20 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                              • Anthony FerraraThu, 07 Mar 2013 17:01:45 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                                • Rasmus LerdorfThu, 07 Mar 2013 17:17:48 +0000
                                  • David Soria ParraThu, 07 Mar 2013 21:00:29 +0000
                                    • Philip OlsonThu, 07 Mar 2013 21:33:49 +0000
                                      • David Soria ParraThu, 07 Mar 2013 21:52:03 +0000
                                      • Anthony FerraraThu, 07 Mar 2013 21:58:13 +0000
                                        • Arpad RayThu, 07 Mar 2013 22:07:56 +0000
                                        • Philip OlsonThu, 07 Mar 2013 22:13:56 +0000
                                        • Andi GutmansFri, 08 Mar 2013 05:55:26 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                                          • Pierre JoyeFri, 08 Mar 2013 08:21:19 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                                          • Rafael DohmsFri, 08 Mar 2013 12:52:21 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                                            • Zeev SuraskiFri, 08 Mar 2013 13:49:21 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                                    • Zeev SuraskiThu, 07 Mar 2013 21:51:23 +0000
                                    • Pierre JoyeFri, 08 Mar 2013 08:22:34 +0000
                                • Zeev SuraskiThu, 07 Mar 2013 17:18:38 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                                  • Pierre JoyeThu, 07 Mar 2013 17:25:06 +0000Re: [VOTE] Integrating Zend Optimizer+ into the PHP distribution
                          • Pierre JoyeThu, 07 Mar 2013 16:46:14 +0000
                            • Julien PauliThu, 07 Mar 2013 16:58:20 +0000
                        • Pierre JoyeThu, 07 Mar 2013 16:55:15 +0000
              • Zeev SuraskiSun, 03 Mar 2013 09:32:48 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
  • Nikita PopovThu, 28 Feb 2013 17:33:44 +0000
    • Zeev SuraskiThu, 28 Feb 2013 17:35:12 +0000
      • Pierre JoyeThu, 28 Feb 2013 17:40:12 +0000
        • Zeev SuraskiThu, 28 Feb 2013 17:58:06 +0000
          • Pierre JoyeThu, 28 Feb 2013 18:28:29 +0000
      • Nikita PopovThu, 28 Feb 2013 18:37:23 +0000
        • Rasmus LerdorfThu, 28 Feb 2013 18:45:41 +0000
        • Raymond IrvingThu, 28 Feb 2013 18:56:11 +0000
          • Jan EhrhardtThu, 28 Feb 2013 22:22:50 +0000
            • David MuirThu, 28 Feb 2013 23:55:02 +0000
        • Stas MalyshevThu, 28 Feb 2013 19:13:54 +0000
          • Nikita PopovThu, 28 Feb 2013 19:27:06 +0000
      • Anthony FerraraThu, 28 Feb 2013 19:34:37 +0000
        • Derick RethansThu, 28 Feb 2013 20:04:29 +0000
        • Stas MalyshevThu, 28 Feb 2013 20:06:17 +0000
        • Zeev SuraskiThu, 28 Feb 2013 20:16:10 +0000
          • Pierre JoyeFri, 01 Mar 2013 02:04:02 +0000
          • Lars StrojnyMon, 04 Mar 2013 22:30:37 +0000
            • Herman RadtkeMon, 04 Mar 2013 22:55:42 +0000
            • Zeev SuraskiMon, 04 Mar 2013 23:11:30 +0000RE: [PHP-DEV] [VOTE] Integrating Zend Optimizer+ into the PHP distribution
        • Rasmus LerdorfThu, 28 Feb 2013 20:27:57 +0000
          • Stas MalyshevThu, 28 Feb 2013 20:49:56 +0000
            • Rasmus LerdorfThu, 28 Feb 2013 21:02:12 +0000
            • Zeev SuraskiThu, 28 Feb 2013 22:03:58 +0000
              • Stas MalyshevThu, 28 Feb 2013 22:36:51 +0000
          • Florin Razvan PatanThu, 28 Feb 2013 21:24:50 +0000
            • Florin Razvan PatanThu, 28 Feb 2013 21:34:17 +0000
            • Levi MorrisonThu, 28 Feb 2013 21:37:54 +0000
              • Florin Razvan PatanThu, 28 Feb 2013 21:40:16 +0000
                • Anthony FerraraThu, 28 Feb 2013 21:47:51 +0000
                  • Levi MorrisonThu, 28 Feb 2013 21:51:24 +0000
                  • Florin Razvan PatanThu, 28 Feb 2013 22:00:49 +0000
        • Sebastian BergmannFri, 01 Mar 2013 11:10:09 +0000