Manuel:DifferenceEngine.php

Fichier MediaWiki : DifferenceEngine.php
Emplacement :	includes/diff/
Code source :	master • 1.42.3 • 1.41.4 • 1.39.10
Classes :	DifferenceEngine

Détails

Le fichier DifferenceEngine.php contient l'interface utilisateur pour le moteur de différences.