refactor(fe): delete unused user_diag_reporter_ code #6561

	# Copyright (C) 2020 Matthew Glazar
	# See end of file for extended copyright information.

	name: check copyright
	on:
	push:
	pull_request:
	types: [opened, synchronize]

	jobs:
	check_copyright:
	name: check copyright
	runs-on: ubuntu-latest
	container: bash:5.2-alpine3.17
	steps:
	- uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab # v3.5.2

	- run: \|
	if ! ./tools/check-file-copyrights; then
	printf '::error ::%s\n' 'Sources are missing copyright headers. Please add copyright headers for any new files you create.'
	exit 1
	fi

	# quick-lint-js finds bugs in JavaScript programs.
	# Copyright (C) 2020 Matthew Glazar
	#
	# This file is part of quick-lint-js.
	#
	# quick-lint-js is free software: you can redistribute it and/or modify
	# it under the terms of the GNU General Public License as published by
	# the Free Software Foundation, either version 3 of the License, or
	# (at your option) any later version.
	#
	# quick-lint-js is distributed in the hope that it will be useful,
	# but WITHOUT ANY WARRANTY; without even the implied warranty of
	# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	# GNU General Public License for more details.
	#
	# You should have received a copy of the GNU General Public License
	# along with quick-lint-js. If not, see <https://www.gnu.org/licenses/>.

Provide feedback