From 0d3c2b74ce3b7ca6995313ac048f3473566a5250 Mon Sep 17 00:00:00 2001
From: Marco Antognini <antognini.marco@gmail.com>
Date: Sun, 13 May 2018 11:55:11 +0200
Subject: [PATCH] fix doc link in tutorials

---
 tutorials/2.5/header-fr.php | 2 +-
 tutorials/2.5/header.php    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tutorials/2.5/header-fr.php b/tutorials/2.5/header-fr.php
index dea47d19..0b53e6ca 100644
--- a/tutorials/2.5/header-fr.php
+++ b/tutorials/2.5/header-fr.php
@@ -1,6 +1,6 @@
 <?php
     $version = '2.5';
-    $full_version = '2.5.2';
+    $full_version = '2.5.0';
 
     require("../header-fr.php");
 ?>
diff --git a/tutorials/2.5/header.php b/tutorials/2.5/header.php
index 0ccad532..4a2cdf08 100644
--- a/tutorials/2.5/header.php
+++ b/tutorials/2.5/header.php
@@ -1,6 +1,6 @@
 <?php
     $version = '2.5';
-    $full_version = '2.5.2';
+    $full_version = '2.5.0';
 
     require("../header.php");
 ?>