Improved php patch function.

tbrehm

2013-08-23 200f0f4652d29b22f94ee2da39fc98542b2e1ea4

1
2
3
4
5
-- -----------------------------------------------------------
-- Dummy patch file
-- Do not edit this file
-- See README.txt in sql folder for detailed instructions
-- -----------------------------------------------------------