PPAPI: Remove PPB_Font_Dev. (try 2)

native_client_sdk/src/build_tools/verify_ppapi.py

 #!/usr/bin/env python
 # Copyright (c) 2013 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 """Helper script for PPAPI's PRESUBMIT.py to detect if additions or removals of
 PPAPI interfaces have been propagated to the Native Client libraries (.dsc
 files).
 
 For example, if a user adds "ppapi/c/foo.h", we check that the interface has
 been added to "native_client_sdk/src/libraries/ppapi/library.dsc".
 """
 
 import argparse
 import os
 import sys
 
 from build_paths import PPAPI_DIR, SRC_DIR, SDK_LIBRARY_DIR
 import parse_dsc
 
 
 # Add a file to this list if it should not be added to a .dsc file; i.e. if it
 # should not be included in the Native Client SDK. This will silence the
 # presubmit warning.
 #
 # Some examples of files that should not be added to the SDK are: Dev and
 # Private interfaces that are either not available to NaCl plugins or are only
 # available to Flash or other privileged plugins.
 IGNORED_FILES = set([
-  'ppb_font_dev.h',
   'pp_video_dev.h',
 ])
 
 
 class VerifyException(Exception):
   def __init__(self, lib_path, expected, unexpected):
     self.expected = expected
     self.unexpected = unexpected
 
     msg = 'In %s:\n' % lib_path
@@ skipping 150 matching lines @@
     is_private = lib_name == 'ppapi_cpp_private'
     if not VerifyOrPrintError(rel_dsc_filename, dsc_sources_and_headers,
                               changed_filenames, removed_filenames,
                               is_private=is_private):
       retval = 1
   return retval
 
 
 if __name__ == '__main__':
   sys.exit(main(sys.argv[1:]))