Remove @file tags from normal class level comments

The @file tag is helpful when a block of documentation does not refer
to a class, but to a file. This is not the case here. These comments
can be normal class level comments.

Change-Id: I5ea1a1ecbe2dd681b91b793d4e45e7cd8dee529e

MathChemSymbolsDataModule.php

@@ -1,13 +1,11 @@
 <?php
+
 /**
  * Resource loader module providing extra data from the server to Chem.
  *
- * @file
- * @ingroup Extensions
  * @copyright 2011-2015 VisualEditor Team and others; see AUTHORS.txt
  * @license The MIT License (MIT); see LICENSE.txt
  */
-
 class MathChemSymbolsDataModule extends ResourceLoaderModule {
 
 	/* Protected Members */

MathLaTeXML.php

@@ -8,9 +8,7 @@ use MediaWiki\Logger\LoggerFactory;
  * GPLv2 license; info in main package.
  *
  * Contains the driver function for the LaTeXML daemon
- * @file
  */
-
 class MathLaTeXML extends MathMathML {
 	protected $defaultAllowedRootElements = [ 'math', 'div', 'table', 'query' ];
 	/** @var String settings for LaTeXML daemon */

MathMathSymbolsDataModule.php

@@ -1,13 +1,11 @@
 <?php
+
 /**
  * Resource loader module providing extra data from the server to Math.
  *
- * @file
- * @ingroup Extensions
  * @copyright 2011-2015 VisualEditor Team and others; see AUTHORS.txt
  * @license The MIT License (MIT); see LICENSE.txt
  */
-
 class MathMathSymbolsDataModule extends ResourceLoaderModule {
 
 	/* Protected Members */