enmi-conf.org: wp/wp-admin/maint/repair.php@cf61fcea0001 (annotated)

0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	1	<?php
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	2	/**
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	3	* Database Repair and Optimization Script.
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	4	*
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	5	* @package WordPress
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	6	* @subpackage Database
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	7	*/
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	8	define('WP_REPAIRING', true);
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	9
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	10	require_once( dirname( dirname( dirname( __FILE__ ) ) ) . '/wp-load.php' );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	11
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	12	header( 'Content-Type: text/html; charset=utf-8' );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	13	?>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	14	<!DOCTYPE html>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	15	<html xmlns="http://www.w3.org/1999/xhtml" <?php language_attributes(); ?>>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	16	<head>
5 5e2f62d02dcd upgrade wordpress + plugins ymh <ymh.work@gmail.com> parents: 0 diff changeset	17	<meta name="viewport" content="width=device-width" />
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	18	<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
7 cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	19	<meta name="robots" content="noindex,nofollow" />
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	20	<title><?php _e( 'WordPress &rsaquo; Database Repair' ); ?></title>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	21	<?php
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	22	wp_admin_css( 'install', true );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	23	?>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	24	</head>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	25	<body class="wp-core-ui">
7 cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	26	<p id="logo"><a href="<?php echo esc_url( __( 'https://wordpress.org/' ) ); ?>" tabindex="-1"><?php _e( 'WordPress' ); ?></a></p>
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	27
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	28	<?php
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	29
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	30	if ( ! defined( 'WP_ALLOW_REPAIR' ) ) {
7 cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	31
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	32	echo '<h1 class="screen-reader-text">' . __( 'Allow automatic database repair' ) . '</h1>';
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	33
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	34	echo '<p>';
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	35	printf(
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	36	/* translators: %s: wp-config.php */
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	37	__( 'To allow use of this page to automatically repair database problems, please add the following line to your %s file. Once this line is added to your config, reload this page.' ),
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	38	'<code>wp-config.php</code>'
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	39	);
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	40	echo "</p><p><code>define('WP_ALLOW_REPAIR', true);</code></p>";
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	41
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	42	$default_key = 'put your unique phrase here';
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	43	$missing_key = false;
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	44	$duplicated_keys = array();
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	45
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	46	foreach ( array( 'AUTH_KEY', 'SECURE_AUTH_KEY', 'LOGGED_IN_KEY', 'NONCE_KEY', 'AUTH_SALT', 'SECURE_AUTH_SALT', 'LOGGED_IN_SALT', 'NONCE_SALT' ) as $key ) {
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	47	if ( defined( $key ) ) {
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	48	// Check for unique values of each key.
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	49	$duplicated_keys[ constant( $key ) ] = isset( $duplicated_keys[ constant( $key ) ] );
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	50	} else {
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	51	// If a constant is not defined, it's missing.
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	52	$missing_key = true;
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	53	}
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	54	}
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	55
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	56	// If at least one key uses the default value, consider it duplicated.
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	57	if ( isset( $duplicated_keys[ $default_key ] ) ) {
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	58	$duplicated_keys[ $default_key ] = true;
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	59	}
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	60
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	61	// Weed out all unique, non-default values.
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	62	$duplicated_keys = array_filter( $duplicated_keys );
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	63
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	64	if ( $duplicated_keys \|\| $missing_key ) {
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	65
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	66	echo '<h2 class="screen-reader-text">' . __( 'Check secret keys' ) . '</h2>';
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	67
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	68	// Translators: 1: wp-config.php; 2: Secret key service URL.
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	69	echo '<p>' . sprintf( __( 'While you are editing your %1$s file, take a moment to make sure you have all 8 keys and that they are unique. You can generate these using the <a href="%2$s">WordPress.org secret key service</a>.' ), '<code>wp-config.php</code>', 'https://api.wordpress.org/secret-key/1.1/salt/' ) . '</p>';
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	70	}
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	71
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	72	} elseif ( isset( $_GET['repair'] ) ) {
7 cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	73
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	74	echo '<h1 class="screen-reader-text">' . __( 'Database repair results' ) . '</h1>';
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	75
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	76	$optimize = 2 == $_GET['repair'];
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	77	$okay = true;
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	78	$problems = array();
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	79
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	80	$tables = $wpdb->tables();
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	81
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	82	// Sitecategories may not exist if global terms are disabled.
5 5e2f62d02dcd upgrade wordpress + plugins ymh <ymh.work@gmail.com> parents: 0 diff changeset	83	$query = $wpdb->prepare( "SHOW TABLES LIKE %s", $wpdb->esc_like( $wpdb->sitecategories ) );
5e2f62d02dcd upgrade wordpress + plugins ymh <ymh.work@gmail.com> parents: 0 diff changeset	84	if ( is_multisite() && ! $wpdb->get_var( $query ) ) {
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	85	unset( $tables['sitecategories'] );
5 5e2f62d02dcd upgrade wordpress + plugins ymh <ymh.work@gmail.com> parents: 0 diff changeset	86	}
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	87
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	88	/**
7 cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	89	* Filters additional database tables to repair.
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	90	*
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	91	* @since 3.0.0
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	92	*
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	93	* @param array $tables Array of prefixed table names to be repaired.
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	94	*/
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	95	$tables = array_merge( $tables, (array) apply_filters( 'tables_to_repair', array() ) );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	96
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	97	// Loop over the tables, checking and repairing as needed.
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	98	foreach ( $tables as $table ) {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	99	$check = $wpdb->get_row( "CHECK TABLE $table" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	100
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	101	echo '<p>';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	102	if ( 'OK' == $check->Msg_text ) {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	103	/* translators: %s: table name */
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	104	printf( __( 'The %s table is okay.' ), "<code>$table</code>" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	105	} else {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	106	/* translators: 1: table name, 2: error message, */
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	107	printf( __( 'The %1$s table is not okay. It is reporting the following error: %2$s. WordPress will attempt to repair this table…' ) , "<code>$table</code>", "<code>$check->Msg_text</code>" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	108
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	109	$repair = $wpdb->get_row( "REPAIR TABLE $table" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	110
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	111	echo '<br />    ';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	112	if ( 'OK' == $check->Msg_text ) {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	113	/* translators: %s: table name */
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	114	printf( __( 'Successfully repaired the %s table.' ), "<code>$table</code>" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	115	} else {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	116	/* translators: 1: table name, 2: error message, */
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	117	echo sprintf( __( 'Failed to repair the %1$s table. Error: %2$s' ), "<code>$table</code>", "<code>$check->Msg_text</code>" ) . '<br />';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	118	$problems[$table] = $check->Msg_text;
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	119	$okay = false;
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	120	}
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	121	}
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	122
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	123	if ( $okay && $optimize ) {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	124	$check = $wpdb->get_row( "ANALYZE TABLE $table" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	125
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	126	echo '<br />    ';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	127	if ( 'Table is already up to date' == $check->Msg_text ) {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	128	/* translators: %s: table name */
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	129	printf( __( 'The %s table is already optimized.' ), "<code>$table</code>" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	130	} else {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	131	$check = $wpdb->get_row( "OPTIMIZE TABLE $table" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	132
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	133	echo '<br />    ';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	134	if ( 'OK' == $check->Msg_text \|\| 'Table is already up to date' == $check->Msg_text ) {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	135	/* translators: %s: table name */
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	136	printf( __( 'Successfully optimized the %s table.' ), "<code>$table</code>" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	137	} else {
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	138	/* translators: 1: table name, 2: error message, */
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	139	printf( __( 'Failed to optimize the %1$s table. Error: %2$s' ), "<code>$table</code>", "<code>$check->Msg_text</code>" );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	140	}
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	141	}
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	142	}
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	143	echo '</p>';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	144	}
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	145
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	146	if ( $problems ) {
5 5e2f62d02dcd upgrade wordpress + plugins ymh <ymh.work@gmail.com> parents: 0 diff changeset	147	printf( '<p>' . __('Some database problems could not be repaired. Please copy-and-paste the following list of errors to the <a href="%s">WordPress support forums</a> to get additional assistance.') . '</p>', __( 'https://wordpress.org/support/forum/how-to-and-troubleshooting' ) );
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	148	$problem_output = '';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	149	foreach ( $problems as $table => $problem )
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	150	$problem_output .= "$table: $problem\n";
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	151	echo '<p><textarea name="errors" id="errors" rows="20" cols="60">' . esc_textarea( $problem_output ) . '</textarea></p>';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	152	} else {
5 5e2f62d02dcd upgrade wordpress + plugins ymh <ymh.work@gmail.com> parents: 0 diff changeset	153	echo '<p>' . __( 'Repairs complete. Please remove the following line from wp-config.php to prevent this page from being used by unauthorized users.' ) . "</p><p><code>define('WP_ALLOW_REPAIR', true);</code></p>";
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	154	}
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	155	} else {
7 cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	156
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	157	echo '<h1 class="screen-reader-text">' . __( 'WordPress database repair' ) . '</h1>';
cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 5 diff changeset	158
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	159	if ( isset( $_GET['referrer'] ) && 'is_blog_installed' == $_GET['referrer'] )
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	160	echo '<p>' . __( 'One or more database tables are unavailable. To allow WordPress to attempt to repair these tables, press the “Repair Database” button. Repairing can take a while, so please be patient.' ) . '</p>';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	161	else
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	162	echo '<p>' . __( 'WordPress can automatically look for some common database problems and repair them. Repairing can take a while, so please be patient.' ) . '</p>';
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	163	?>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	164	<p class="step"><a class="button button-large" href="repair.php?repair=1"><?php _e( 'Repair Database' ); ?></a></p>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	165	<p><?php _e( 'WordPress can also attempt to optimize the database. This improves performance in some situations. Repairing and optimizing the database can take a long time and the database will be locked while optimizing.' ); ?></p>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	166	<p class="step"><a class="button button-large" href="repair.php?repair=2"><?php _e( 'Repair and Optimize Database' ); ?></a></p>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	167	<?php
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	168	}
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	169	?>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	170	</body>
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	171	</html>

author	ymh <ymh.work@gmail.com>
	Mon, 14 Oct 2019 17:39:30 +0200
changeset 7	cf61fcea0001
parent 5	5e2f62d02dcd
child 9	177826044cd9
permissions	-rw-r--r--