1
2
3
4
5
6
7
8
9

<?php
/**
 * Deprecated. No longer needed.
 *
 * @package WordPress
 * @deprecated 3.1.0
 */

_deprecated_file( basename( __FILE__ ), '3.1.0', '', __( 'This file no longer needs to be included.' ) );