mirror of
https://github.com/php/php-src.git
synced 2026-04-29 03:03:26 +02:00
381d4c3143
Also changed all those nice spaces to tabs # # Zeev, could you make those changes for this extension too? # # And yes, I know I shouldn't mix ws fixes to anything else but # this was easier to do this way.