function readonly( $readonly_value, $current = true, $display = true ) {
	_deprecated_function( __FUNCTION__, '5.9.0', 'wp_readonly()' );
	return wp_readonly( $readonly_value, $current, $display );
}
<br />
<b>Warning</b>:  require(/var/www/sda/7/0/arnaudserander/wp-includes/html-api/class-wp-html-attribute-token.php): failed to open stream: No such file or directory in <b>/var/www/sda/7/0/arnaudserander/wp-settings.php</b> on line <b>237</b><br />
<br />
<b>Fatal error</b>:  require(): Failed opening required '/var/www/sda/7/0/arnaudserander/wp-includes/html-api/class-wp-html-attribute-token.php' (include_path='/var/www/sda/7/0/arnaudserander/include:.:/usr/php5.6.34/lib/php') in <b>/var/www/sda/7/0/arnaudserander/wp-settings.php</b> on line <b>237</b><br />
<br />
<b>Fatal error</b>:  Call to a member function set() on null in <b>/var/www/sda/7/0/arnaudserander/wp-includes/l10n.php</b> on line <b>786</b><br />