aa2b770e30
add override links to utility views
...
This enables `local-overrides.css` and `local-overrides.js` for all utility views, for example to add polyfills, enable responsive styling or to adjust styles globally.
2023-02-24 00:46:40 +01:00
d391a01de7
bookmarklets: fix wiki URL
2022-05-30 11:50:25 +03:00
5f808051b2
deal with phpstan warnings in auto_assign_labels and bookmarklets
2021-11-14 21:14:21 +03:00
4fda5ccd0e
fix a bunch of bookmarklets login forms not leading back
2021-03-04 13:40:54 +03:00
7cf12233d7
use ORM when subscribing feeds
2021-03-02 10:11:42 +03:00
70adfd4a74
* sanitize: never rewrite relative links to our own prefix
...
* use Config::get_self_url() instead of get_self_url_prefix() in a bunch
of places
2021-03-02 08:16:41 +03:00
20a844085f
hide version for bundled plugins because it's meaningless; for everything else support showing version using git (if about[0] is null)
2021-03-01 12:11:42 +03:00
7ef72fe0dc
move startup checks to Config, set a bunch of @deprecated annotations
2021-03-01 10:20:21 +03:00
e4107ac952
wip: initial for config object
2021-02-22 21:47:48 +03:00
545bcc3e4b
bookmarklets: cleanup some more markup
2021-02-20 08:49:40 +03:00
fc0ebf0891
move bookmarklet-related methods out of public.php into the plugin
2021-02-19 20:21:36 +03:00
a2c75257f1
bookmarklets: cleanup
2021-02-18 13:16:55 +03:00
bd3c38de84
move bookmarklet-related subscribe_to_feed_url to bookmarklet plugin
2021-02-15 16:41:52 +03:00
c1ad7acfb9
bookmarklet: encode URL properly so special characters won't get lost
2021-02-07 21:09:27 +03:00
cee76f4d49
bookmarklets: add more info link
2019-02-26 08:15:58 +03:00
4e253add8c
UI: add some more info links to relevant wiki pages; minor layout updates
2019-02-21 16:21:16 +03:00
b96beeeda7
bookmarklets: show pref link-buttons properly
2018-12-08 15:55:35 +03:00
814e49f8f7
add icons to accordion panels in preferences
...
fix typo in pref-prefs closing panel tag
2018-12-06 08:56:28 +03:00
31e79317b3
normalize various font sizes and families between prefs & main UI
...
change some dialogs layout a bit to maybe become more readable
2018-12-04 15:22:22 +03:00
31f7966567
use button-style links for bookmarklets
2017-12-11 19:04:06 +03:00
b2d42e960b
replace some usages of SELF_URL_PATH with get_self_url_prefix()
2017-07-06 23:01:44 +03:00
c114a2596f
move add_feed_url() to pref_feeds
2017-05-11 09:07:49 +03:00
21ce7d9ec0
update phpmd ruleset to use (subset) of cleancode
...
fix various minor issues reported by static analysis
remove redundant php closing tag from several more files
2017-04-26 20:57:36 +03:00
73dfda1da6
various minor style updates, add danger buttons
2015-08-13 13:06:03 +03:00
11334fdf6c
make appearance of some preference panes more similar
2013-05-12 12:36:25 +04:00
106a3de91c
plugins: bump API version
2013-04-19 17:31:56 +04:00
6322ac79a0
remove $link
2013-04-17 16:48:41 +04:00
2ec1e00e2d
add bookmarklets plugin
2012-12-30 23:44:53 +04:00
Veit Lehmann
Andrew Dolgov
Andrew Dolgov
Andrew Dolgov
Andrew Dolgov