mirror of
https://github.com/MariaDB/server.git
synced 2025-10-31 19:06:14 +01:00
11 lines
324 B
PHP
11 lines
324 B
PHP
# Mask the cost value from any field that looks like
|
|
# "xxx_cost" : double_number
|
|
# Print the
|
|
# "xxx_cost" : "REPLACED"
|
|
# instead
|
|
--replace_regex /(_cost": )[0-9.e-]+/\1"REPLACED"/
|
|
#--replace_regex /(_cost": )[0-9.e-]+/"REPLACED"/
|
|
#--replace_regex /[0-9]+/BBB/
|
|
|
|
#--replace_regex /("r_engine_stats":) {[^}]*}/\1 REPLACED/
|
|
|