diff --git a/performance.rst b/performance.rst
index e0287b46f0a..22b918c1852 100644
--- a/performance.rst
+++ b/performance.rst
@@ -57,10 +57,11 @@ using APC and ``opcache_reset()`` when using OPcache).
     means that you cannot clear the web server OPcache by executing some command
     in your terminal. These are some of the possible solutions:
 
-    1. Restart the web server;
-    2. Call the ``apc_clear_cache()`` or ``opcache_reset()`` functions via the
-       web server (i.e. by having these in a script that you execute over the web);
-    3. Use the `cachetool`_ utility to control APC and OPcache from the CLI.
+    #. Restart the web server;
+    #. Call the :phpfunction:`apc_clear_cache` or :phpfunction:`opcache_reset`
+       functions via the web server (i.e. by having these in a script that
+       you execute over the web);
+    #. Use the `cachetool`_ utility to control APC and OPcache from the CLI.
 
 Optimizing all the Files Used by Symfony
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~