diff --git a/wordpress.org/public_html/wp-content/themes/pub/wporg-plugins/template-parts/plugin-single.php b/wordpress.org/public_html/wp-content/themes/pub/wporg-plugins/template-parts/plugin-single.php
index 9b4e3ef42..2eb09631a 100644
a
|
b
|
$plugin_title = $is_closed ? $post->post_name : get_the_title(); |
51 | 51 | </header><!-- .entry-header --> |
52 | 52 | |
53 | 53 | <?php if ( ! get_query_var( 'plugin_advanced' ) ) : ?> |
54 | | <script type="text/javascript">if ( '#changelog' == window.location.hash ) { window.location.hash = '#developers'; }</script> |
55 | 54 | <span id="description"></span> |
56 | 55 | <span id="reviews"></span> |
57 | 56 | <span id="installation"></span> |
… |
… |
$plugin_title = $is_closed ? $post->post_name : get_the_title(); |
69 | 68 | </li> |
70 | 69 | <li id="tablink-developers"><a href="#developers"><?php esc_html_e( 'Development', 'wporg-plugins' ); ?></a></li> |
71 | 70 | </ul> |
| 71 | <script type="text/javascript">if ( '#changelog' == window.location.hash ) { window.location.hash = '#developers'; }</script> |
72 | 72 | <?php endif; ?> |
73 | 73 | |
74 | 74 | <div class="entry-content"> |