chore: migrate devtools/source to the PHP microgenerator

Google APIs · copybara-github · commit ac0cf1769f80 · 2021-05-12T19:58:03.000-07:00
Committer: @miraleung PiperOrigin-RevId: 373494082
diff --git a/google/devtools/source/v1/BUILD.bazel b/google/devtools/source/v1/BUILD.bazel
@@ -95,11 +95,12 @@ py_grpc_library(
 
 ##############################################################################
 # PHP
+# DO NOT OVERRIDE this PHP microgenerator section with autogenerated rules.
 ##############################################################################
 load(
     "@com_google_googleapis_imports//:imports.bzl",
-    "php_grpc_library",
-    "php_proto_library",
+    php_grpc_library = "php_grpc_library2",
+    php_proto_library = "php_proto_library2",
 )
 
 php_proto_library(
