2008-04-19 01:38:21 +02:00
|
|
|
<?php
|
2008-09-11 19:46:42 +02:00
|
|
|
/**
|
|
|
|
* WordPress Diff bastard child of old MediaWiki Diff Formatter.
|
|
|
|
*
|
|
|
|
* Basically all that remains is the table structure and some method names.
|
|
|
|
*
|
|
|
|
* @package WordPress
|
|
|
|
* @subpackage Diff
|
|
|
|
*/
|
2008-04-19 01:38:21 +02:00
|
|
|
|
2015-09-20 05:52:25 +02:00
|
|
|
if ( ! class_exists( 'Text_Diff', false ) ) {
|
2008-09-11 19:46:42 +02:00
|
|
|
/** Text_Diff class */
|
2020-02-06 07:33:11 +01:00
|
|
|
require ABSPATH . WPINC . '/Text/Diff.php';
|
2008-09-11 19:46:42 +02:00
|
|
|
/** Text_Diff_Renderer class */
|
2020-02-06 07:33:11 +01:00
|
|
|
require ABSPATH . WPINC . '/Text/Diff/Renderer.php';
|
2008-09-11 19:46:42 +02:00
|
|
|
/** Text_Diff_Renderer_inline class */
|
2020-02-06 07:33:11 +01:00
|
|
|
require ABSPATH . WPINC . '/Text/Diff/Renderer/inline.php';
|
2008-04-19 01:38:21 +02:00
|
|
|
}
|
2016-08-31 18:31:29 +02:00
|
|
|
|
2020-02-06 07:33:11 +01:00
|
|
|
require ABSPATH . WPINC . '/class-wp-text-diff-renderer-table.php';
|
|
|
|
require ABSPATH . WPINC . '/class-wp-text-diff-renderer-inline.php';
|