- Add tip about $array[] to array_push()

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@148554 c90b9560-bf6c-de11-be94-00142212c4b1

reference/array/functions/array-push.xml

@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.8 $ -->
+<!-- $Revision: 1.9 $ -->
 <!-- splitted from ./en/functions/array.xml, last change in rev 1.2 -->
   <refentry id="function.array-push">
    <refnamediv>
@@ -63,6 +63,13 @@ Array
       </screen>
      </example>
     </para>
+    <note>
+     <simpara>
+      If you use <function>array_push</function> to add one element to the
+      array it's better to use <literal>$array[] = </literal> because in that
+      way there is no overhead of calling a function.
+     </simpara>
+    </note>
     <para>
      See also <function>array_pop</function>,
      <function>array_shift</function>, and