跳到内容
新问题

对这个项目有疑问吗?注册一个免费的GitHub帐户以打开一个问题,并联系其维护者和社区。

单击“注册GitHub”,表示您同意我们的服务条款隐私声明。我们偶尔会向您发送与帐户相关的电子邮件。

已经在GitHub上了?登录到您的帐户

将create_php_tags移植到Python3并生成新的php标记文件 #3488

已合并
将1个提交合并到
2023年5月21日

对话

超高速16
复制链接
成员

与相关#2615.

我不知道新生成的标签有多好,我的PHP知识基本上已经不存在了:)。至少,diff看起来有些是添加、删除和更改的,有些甚至保持不变。

@超高速16
复制链接
成员 作者

什么时候?#3039合并后,我将调整脚本以生成ctags文件格式,并与Python标记脚本共享代码。

复制链接

@c弯折 c弯折 留下了评论

选择隐藏此评论的原因

将显示原因,以便向其他人描述此评论。了解更多信息.

我也不太懂PHP,但至少脚本看起来仍然有效,区别似乎在于JSON本身(我只检查了一些东西,但它们是匹配的)。
遗憾的是,JSON似乎在签名中的类型上有一些缺陷(没有其他类型,它似乎使用了最后一种,有时是无效的--过去是这样的混合的在PHP文档中,但现在是foo|bar|baz),但脚本无法处理该数据,所以我认为它很好。

脚本/create_php_tags.py 过时的 显示已解决 隐藏已解决
脚本/create_php_tags.py 显示已解决 隐藏已解决
@elextr公司
复制链接
成员

Python标记是ctags格式的,而php标记是tagmanager中的,这有什么原因吗?

@超高速16
复制链接
成员 作者

Python标记是ctags格式的,而php标记是tagmanager中的,这有什么原因吗?

之前#3039,Python标记也是tagmanager格式的,PHP标记也是如此。

如中所述#3488(评论),我也会将PHP标记的格式切换为ctags。但我想进行迭代,以避免出现巨大的“我一次完成所有任务”——公关:)。

@超高速16 超高速16合并提交82502立方英尺进入之内 杰尼:主人 2023年5月21日
@超高速16 超高速16删除了 更新_php_script_and_tags 分支 2023年5月21日17:20
免费注册 在GitHub上加入此对话.已经有帐户了吗?登录以发表评论
标签
还没有
项目
还没有
开发

成功合并此请求可能会解决这些问题。

4名参与者