rendered paste body<?phpClass Frog { protected static $colour1 = 'green'; public static $colour2 = 'green'; static function show() { echo "Frog: ".Frog::$colour1.", ".Frog::$colour2 ."\n"; }}Class SpecialFrog extends Frog { public static $colour1; public static $colour2; static function show() { echo "SpecialFrog: ".SpecialFrog::$colour1.", ".SpecialFrog::$colour2 ."\n"; }}SpecialFrog::$colour1 = 'blue';SpecialFrog::$colour2 = 'blue';Frog::show();SpecialFrog::show();?>---- Output before patch (imho buggy) ----Frog: blue, greenSpecialFrog: blue, blue---- Output after patch ----Frog: green, greenSpecialFrog: blue, blue