phpmyadmin/phpmyadmin — pull request #922 by jeffchan (2014-02-12 03:38:49+00:00)
Title: Use stable sort for OptionsPropertyGroup removeProperty.

The original custom sort function is not stable, which causes different
results on HHVM. It now uses the default array_diff function which is
stable. I also removed a test that I believe is incorrected.

Signed-off-by: Jeff Chan