PHP - 对象的迭代是否有序？

Question

我知道我可以用它来迭代一个对象：

   foreach ($this as $key => $value) {
       print "$key => $value\n";
   }

查看属性的顺序是否始终相同或是随机的？
我尝试了一下，它似乎总是遵循声明顺序，如在此处的示例：http://php.net/manual/en/language.oop5.iterations.php

但我无法找到任何正式指定的文档。
可以通过实验的PHP开发人员确认或否定我在试验中发现的内容吗？