Bug 1493683 - [lint] Remove wpt_manifest linter, r=jgraham
authorAndrew Halberstadt <ahalberstadt@mozilla.com>
Thu, 18 Oct 2018 14:57:25 +0000
changeset 490308 5e123c35d1e82866b42ee86dbe74bdf4c02956f5
parent 490307 49e1cc5fdf49b102fa27980622087fc550ed93bb
child 490309 42a7995a7d3655675925610c92fe13c9b86cd7ec
push id247
push userfmarier@mozilla.com
push dateSat, 27 Oct 2018 01:06:44 +0000
reviewersjgraham
bugs1493683
milestone64.0a1
Bug 1493683 - [lint] Remove wpt_manifest linter, r=jgraham This is no longer needed because the manifest update now happens out of tree. The taskcluster task was already removed, though the actual linter implementation was forgotten. Differential Revision: https://phabricator.services.mozilla.com/D9118
tools/lint/wpt/wpt_manifest.py
tools/lint/wpt_manifest.yml
deleted file mode 100644
--- a/tools/lint/wpt/wpt_manifest.py
+++ /dev/null
@@ -1,15 +0,0 @@
-# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
-# vim: set filetype=python:
-# This Source Code Form is subject to the terms of the Mozilla Public
-# License, v. 2.0. If a copy of the MPL was not distributed with this
-# file, You can obtain one at http://mozilla.org/MPL/2.0/.
-
-import imp
-import os
-
-
-def lint(files, config, logger, **kwargs):
-    wpt_dir = os.path.join(kwargs["root"], "testing", "web-platform")
-    manifestupdate = imp.load_source("manifestupdate",
-                                     os.path.join(wpt_dir, "manifestupdate.py"))
-    manifestupdate.update(logger, wpt_dir, True)
deleted file mode 100644
--- a/tools/lint/wpt_manifest.yml
+++ /dev/null
@@ -1,11 +0,0 @@
----
-wpt_manifest:
-    description: web-platform-tests manifest lint
-    include:
-        - testing/web-platform/tests
-        - testing/web-platform/mozilla/tests
-    exclude: []
-    support-files:
-        - tools/lint/wpt/wpt_manifest.py
-    type: structured_log
-    payload: wpt.wpt_manifest:lint