equal
deleted
inserted
replaced
12 $title = __('Tools'); |
12 $title = __('Tools'); |
13 wp_enqueue_script( 'wp-gears' ); |
13 wp_enqueue_script( 'wp-gears' ); |
14 |
14 |
15 require_once('admin-header.php'); |
15 require_once('admin-header.php'); |
16 |
16 |
17 screen_icon(); |
|
18 ?> |
17 ?> |
19 <div class="wrap"> |
18 <div class="wrap"> |
|
19 <?php screen_icon(); ?> |
20 <h2><?php echo esc_html( $title ); ?></h2> |
20 <h2><?php echo esc_html( $title ); ?></h2> |
21 |
21 |
22 <div class="tool-box"> |
22 <div class="tool-box"> |
23 <?php |
23 <?php |
24 if ( ! $is_opera ) { |
24 if ( ! $is_opera ) { |