[phpMyAdmin Git] [phpmyadmin/phpmyadmin] ed132f: Replace array_push for performances

[Hugues Peccatte]

Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: ed132f1fe8fc0c16c7b9a5ce9e20e93366694f97
https://github.com/phpmyadmin/phpmyadmin/commit/ed132f1fe8fc0c16c7b9a5ce9e20e93366694f97
Author: Hugues Peccatte <hugues.peccatte at gmail.com>
Date: 2019-01-12 (Sat, 01 January 2019) +01:00

Changed paths: 
M libraries/classes/Core.php
M libraries/classes/Normalization.php
M libraries/classes/Relation.php
M libraries/classes/Table.php

Log Message:
-----------
Replace array_push for performances

Signed-off-by: Hugues Peccatte <hugues.peccatte at gmail.com>

Commit: 9ed3d6eebfa7e77b5d54eb450e569e5fa1c1664b
https://github.com/phpmyadmin/phpmyadmin/commit/9ed3d6eebfa7e77b5d54eb450e569e5fa1c1664b
Author: Maurício Meneghini Fauth <mauriciofauth at gmail.com>
Date: 2019-01-12 (Sat, 01 January 2019) -03:00

Changed paths: 
M libraries/classes/Core.php
M libraries/classes/Normalization.php
M libraries/classes/Relation.php
M libraries/classes/Table.php

Log Message:
-----------
Merge pull request #14851 from Tithugues/feature/replace-array-push-for-performances

Replace array_push for performances